diff latex/cpdt.tex @ 324:06d11a6363cd

New LogicProg chapter
author Adam Chlipala <adam@chlipala.net>
date Tue, 20 Sep 2011 14:07:21 -0400
parents 4cb3ba8604bc
children 4a432659a698
line wrap: on
line diff
--- a/latex/cpdt.tex	Tue Sep 20 11:08:05 2011 -0400
+++ b/latex/cpdt.tex	Tue Sep 20 14:07:21 2011 -0400
@@ -46,6 +46,7 @@
 \include{Equality.v}
 \include{Generic.v}
 \include{Universes.v}
+\include{LogicProg.v}
 \include{Match.v}
 \include{Reflection.v}
 \include{Large.v}