diff options
Diffstat (limited to 'docs/htmldoc/mathcomp.ssreflect.ssrmatching.html')
| -rw-r--r-- | docs/htmldoc/mathcomp.ssreflect.ssrmatching.html | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/docs/htmldoc/mathcomp.ssreflect.ssrmatching.html b/docs/htmldoc/mathcomp.ssreflect.ssrmatching.html new file mode 100644 index 0000000..d7911c1 --- /dev/null +++ b/docs/htmldoc/mathcomp.ssreflect.ssrmatching.html @@ -0,0 +1,32 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" +"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml"> +<head> +<meta http-equiv="Content-Type" content="text/html; charset=utf-8" /> +<link href="coqdoc.css" rel="stylesheet" type="text/css" /> +<title>mathcomp.ssreflect.ssrmatching</title> +</head> + +<body> + +<div id="page"> + +<div id="header"> +</div> + +<div id="main"> + +<h1 class="libtitle">Library mathcomp.ssreflect.ssrmatching</h1> + +<div class="code"> +</div> +</div> + +<div id="footer"> +<hr/><a href="index.html">Index</a><hr/>This page has been generated by <a href="http://coq.inria.fr/">coqdoc</a> +</div> + +</div> + +</body> +</html>
\ No newline at end of file |