Skip to content

C
cpdt
Commit 4a99c15c authored by Adam Chlipala's avatar Adam Chlipala
Browse files
Options

Update HTML TOC

parent 3d1ce685
Hide whitespace changes
Inline Side-by-side
Showing with 1 addition and 1 deletion
src/toc.html
View file @ 4a99c15c
......@@ -6,7 +6,7 @@
<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="InductiveTypes.html">Introducing 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