Mercurial > cpdt > repo

comparison latex/cpdt.tex @ 350:ad315efc3b6b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Stub out new chapter
author Adam Chlipala <adam@chlipala.net>
date Wed, 26 Oct 2011 11:19:52 -0400
parents 4a432659a698
children 3322367e955d
comparison
equal deleted inserted replaced
349:de7db21a016c 350:ad315efc3b6b
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{GeneralRec.v}
43 \include{Subset.v} 44 \include{Subset.v}
44 \include{MoreDep.v} 45 \include{MoreDep.v}
45 \include{DataStruct.v} 46 \include{DataStruct.v}
46 \include{Equality.v} 47 \include{Equality.v}
47 \include{Generic.v} 48 \include{Generic.v}