diff latex/cpdt.tex @ 383:e2c88317611f

Conclusion
author Adam Chlipala <adam@chlipala.net>
date Tue, 03 Apr 2012 15:10:04 -0400
parents d5112c099fbf
children 62475ab7570b
line wrap: on
line diff
--- a/latex/cpdt.tex	Sun Apr 01 15:14:44 2012 -0400
+++ b/latex/cpdt.tex	Tue Apr 03 15:10:04 2012 -0400
@@ -52,6 +52,7 @@
 \include{Reflection.v}
 \include{Large.v}
 \include{ProgLang.v}
+\include{Conclusion.v}
 
 \clearpage
 \addcontentsline{toc}{chapter}{Bibliography}