diff src/Intro.v @ 324:06d11a6363cd

New LogicProg chapter
author Adam Chlipala <adam@chlipala.net>
date Tue, 20 Sep 2011 14:07:21 -0400
parents 70e51e8cfce7
children 4a432659a698
line wrap: on
line diff
--- a/src/Intro.v	Tue Sep 20 11:08:05 2011 -0400
+++ b/src/Intro.v	Tue Sep 20 14:07:21 2011 -0400
@@ -237,6 +237,8 @@
 \hline
 Universes and Axioms & \texttt{Universes.v} \\
 \hline
+Proof Search by Logic Programming & \texttt{LogicProg.v} \\
+\hline
 Proof Search in Ltac & \texttt{Match.v} \\
 \hline
 Proof by Reflection & \texttt{Reflection.v} \\