comparison src/toc.html @ 381:d5112c099fbf

New chapter: ProgLang
author Adam Chlipala <adam@chlipala.net>
date Sun, 01 Apr 2012 15:02:32 -0400
parents 3322367e955d
children e2c88317611f
comparison
equal deleted inserted replaced
380:31fa03bc0f18 381:d5112c099fbf
18 <li><a href="Universes.html">Universes and Axioms</a> 18 <li><a href="Universes.html">Universes and Axioms</a>
19 <li><a href="LogicProg.html">Proof Search by Logic Programming</a> 19 <li><a href="LogicProg.html">Proof Search by Logic Programming</a>
20 <li><a href="Match.html">Proof Search in Ltac</a> 20 <li><a href="Match.html">Proof Search in Ltac</a>
21 <li><a href="Reflection.html">Proof by Reflection</a> 21 <li><a href="Reflection.html">Proof by Reflection</a>
22 <li><a href="Large.html">Proving in the Large</a> 22 <li><a href="Large.html">Proving in the Large</a>
23 <li><a href="ProgLang.html">A Taste of Reasoning About Programming Language Syntax</a>
23 24
24 </body></html> 25 </body></html>