Mercurial > cpdt > repo
comparison latex/cpdt.tex @ 353:3322367e955d
Move GeneralRec one chapter slot later, since Subset should be a prereq
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Wed, 26 Oct 2011 17:14:28 -0400 |
| parents | ad315efc3b6b |
| children | 549d604c3d16 |
comparison
equal
deleted
inserted
replaced
| 352:ab60b10890ed | 353:3322367e955d |
|---|---|
| 38 \include{Intro.v} | 38 \include{Intro.v} |
| 39 \include{StackMachine.v} | 39 \include{StackMachine.v} |
| 40 \include{InductiveTypes.v} | 40 \include{InductiveTypes.v} |
| 41 \include{Predicates.v} | 41 \include{Predicates.v} |
| 42 \include{Coinductive.v} | 42 \include{Coinductive.v} |
| 43 \include{Subset.v} | |
| 43 \include{GeneralRec.v} | 44 \include{GeneralRec.v} |
| 44 \include{Subset.v} | |
| 45 \include{MoreDep.v} | 45 \include{MoreDep.v} |
| 46 \include{DataStruct.v} | 46 \include{DataStruct.v} |
| 47 \include{Equality.v} | 47 \include{Equality.v} |
| 48 \include{Generic.v} | 48 \include{Generic.v} |
| 49 \include{Universes.v} | 49 \include{Universes.v} |