querycert.github.io/toplas/Qcert.CAMPRule.CAMPRuleSystem.html at master · querycert/querycert.github.io · GitHub - github.com

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">

<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<title>Module Qcert.CAMPRule.CAMPRuleSystem</title>
<meta name="description" content="Documentation of Coq module Qcert.CAMPRule.CAMPRuleSystem" />
<link href="coq2html.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="coq2html.js"> </script>
</head>

<body onload="hideAll('proofscript')">
<h1 class="title">Module Qcert.CAMPRule.CAMPRuleSystem</h1>
<div class="coq">
<br/>
<span class="kwd">Require</span> <span class="kwd">Export</span> <span class="id"><a href="Qcert.CAMPRule.CAMPRuleRuntime.html">CAMPRuleRuntime</a></span>.<br/>
<span class="kwd">Require</span> <span class="kwd">Export</span> <span class="id"><a href="Qcert.CAMPRule.CAMPRuleTypes.html">CAMPRuleTypes</a></span>.<br/>
<br/>

</div>
<div class="footer"><hr/>Generated by <a href="https://github.com/xavierleroy/coq2html/">coq2html</a></div>
</body>
</html>