Mercurial > cpdt > repo
comparison latex/cpdt.tex @ 332:4a432659a698
Remove Part IV
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Mon, 03 Oct 2011 11:15:51 -0400 |
| parents | 06d11a6363cd |
| children | ad315efc3b6b |
comparison
equal
deleted
inserted
replaced
| 331:2eeb96aa0426 | 332:4a432659a698 |
|---|---|
| 48 \include{Universes.v} | 48 \include{Universes.v} |
| 49 \include{LogicProg.v} | 49 \include{LogicProg.v} |
| 50 \include{Match.v} | 50 \include{Match.v} |
| 51 \include{Reflection.v} | 51 \include{Reflection.v} |
| 52 \include{Large.v} | 52 \include{Large.v} |
| 53 \include{Firstorder.v} | |
| 54 \include{DeBruijn.v} | |
| 55 \include{Hoas.v} | |
| 56 \include{Interps.v} | |
| 57 \include{Extensional.v} | |
| 58 \include{Intensional.v} | |
| 59 \include{OpSem.v} | |
| 60 | 53 |
| 61 \clearpage | 54 \clearpage |
| 62 \addcontentsline{toc}{chapter}{Bibliography} | 55 \addcontentsline{toc}{chapter}{Bibliography} |
| 63 \bibliographystyle{plain} | 56 \bibliographystyle{plain} |
| 64 \bibliography{cpdt} | 57 \bibliography{cpdt} |