Skip to content

C
cpdt
Commit 3d1ce685 authored by Adam Chlipala's avatar Adam Chlipala
Browse files
Options

Update HTML TOC

parent 9f81581a
Hide whitespace changes
Inline Side-by-side
Showing with 1 addition and 0 deletions
src/toc.html
View file @ 3d1ce685
......@@ -7,5 +7,6 @@
<li><a href="Intro.html">Introduction</a>
<li><a href="StackMachine.html">Some Quick Examples</a>
<li><a href="InductiveTypes.html">Inductive Types</a>
<li><a href="Predicates.html">Inductive Predicates</a>
</body></html>
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment