Skip to content

C
cpdt
Commit 57f9664e authored by Adam Chlipala's avatar Adam Chlipala
Browse files
Options

Adjust toc

parent 12cbeb2c
Show whitespace changes
Inline Side-by-side
Showing with 1 addition and 0 deletions
src/toc.html
View file @ 57f9664e
......@@ -15,6 +15,7 @@
<li><a href="Equality.html">Reasoning About Equality Proofs</a>
<li><a href="Generic.html">Generic Programming</a>
<li><a href="Universes.html">Universes and Axioms</a>
<li><a href="LogicProg.html">Proof Search by Logic Programming</a>
<li><a href="Match.html">Proof Search in Ltac</a>
<li><a href="Reflection.html">Proof by Reflection</a>
<li><a href="Large.html">Proving in the Large</a>
......
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