Mercurial > cpdt > repo

comparison latex/cpdt.tex @ 383:e2c88317611f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Conclusion
author Adam Chlipala <adam@chlipala.net>
date Tue, 03 Apr 2012 15:10:04 -0400
parents d5112c099fbf
children 62475ab7570b
comparison
equal deleted inserted replaced
382:9e47cdd76bb5 383:e2c88317611f
50 \include{LogicProg.v} 50 \include{LogicProg.v}
51 \include{Match.v} 51 \include{Match.v}
52 \include{Reflection.v} 52 \include{Reflection.v}
53 \include{Large.v} 53 \include{Large.v}
54 \include{ProgLang.v} 54 \include{ProgLang.v}
55 \include{Conclusion.v}
55 56
56 \clearpage 57 \clearpage
57 \addcontentsline{toc}{chapter}{Bibliography} 58 \addcontentsline{toc}{chapter}{Bibliography}
58 \bibliographystyle{plain} 59 \bibliographystyle{plain}
59 \bibliography{cpdt} 60 \bibliography{cpdt}