22 lines
770 B
HTML
22 lines
770 B
HTML
<!DOCTYPE HTML>
|
|
<html>
|
|
<head>
|
|
<meta charset="utf-8">
|
|
<title>ZOL2</title>
|
|
<link rel="stylesheet" href="Agda.css">
|
|
</head>
|
|
<body style="font-size: 20pt;">
|
|
<ol>
|
|
<li><a href="./PropUtil.html">PropUtil</a></li>
|
|
<li><a href="./ListUtil.html">ListUtil</a></li>
|
|
<li><a href="./ZOL2.html">ZOL</a></li>
|
|
<li><a href="./ZOLInitial.html">ZOLInitial</a></li>
|
|
<li><a href="./ZOLCompleteness.html">ZOLCompleteness</a></li>
|
|
<li><a href="./IFOL2.html">IFOL</a></li>
|
|
<li><a href="./IFOLInitial.html">IFOLInitial</a></li>
|
|
<li><a href="./IFOLCompleteness.html">IFOLCompleteness</a></li>
|
|
<li><a href="./FFOL.html">FFOL</a></li>
|
|
<li><a href="./FFOLInitial.html">FFOLInitial</a></li>
|
|
</ol>
|
|
</body>
|