comparison src/toc.html @ 57:6f7142e082c0

Update HTML TOC
author Adam Chlipala <adamc@hcoop.net>
date Sun, 28 Sep 2008 13:52:23 -0400
parents 552e96f6bbc1
children 437cc4857e2a
comparison
equal deleted inserted replaced
56:552e96f6bbc1 57:6f7142e082c0
4 4
5 <h1>Certified Programming with Dependent Types</h1> 5 <h1>Certified Programming with Dependent Types</h1>
6 6
7 <li><a href="Intro.html">Introduction</a> 7 <li><a href="Intro.html">Introduction</a>
8 <li><a href="StackMachine.html">Some Quick Examples</a> 8 <li><a href="StackMachine.html">Some Quick Examples</a>
9 <li><a href="InductiveTypes.html">Inductive Types</a> 9 <li><a href="InductiveTypes.html">Introducing Inductive Types</a>
10 <li><a href="Predicates.html">Inductive Predicates</a> 10 <li><a href="Predicates.html">Inductive Predicates</a>
11 11
12 </body></html> 12 </body></html>