Mercurial > cpdt > repo

comparison src/toc.html @ 170:f8353e2a21d6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
STLC example in Interps
author Adam Chlipala <adamc@hcoop.net>
date Sun, 09 Nov 2008 13:44:31 -0500
parents fabfaa93c9ea
children 022feabdff50
comparison
equal deleted inserted replaced
169:8905f28ffeef 170:f8353e2a21d6
15 <li><a href="Equality.html">Reasoning About Equality Proofs</a> 15 <li><a href="Equality.html">Reasoning About Equality Proofs</a>
16 <li><a href="Match.html">Proof Search in Ltac</a> 16 <li><a href="Match.html">Proof Search in Ltac</a>
17 <li><a href="Reflection.html">Proof by Reflection</a> 17 <li><a href="Reflection.html">Proof by Reflection</a>
18 <li><a href="Firstorder.html">First-Order Abstract Syntax</a> 18 <li><a href="Firstorder.html">First-Order Abstract Syntax</a>
19 <li><a href="Hoas.html">Higher-Order Abstract Syntax</a> 19 <li><a href="Hoas.html">Higher-Order Abstract Syntax</a>
20 <li><a href="Interps.html">Type-Theoretic Interpreters</a>
20 21
21 </body></html> 22 </body></html>