Mercurial > cpdt > repo

comparison latex/cpdt.tex @ 324:06d11a6363cd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New LogicProg chapter
author Adam Chlipala <adam@chlipala.net>
date Tue, 20 Sep 2011 14:07:21 -0400
parents 4cb3ba8604bc
children 4a432659a698
comparison
equal deleted inserted replaced
323:3513d8b0531a 324:06d11a6363cd
44 \include{MoreDep.v} 44 \include{MoreDep.v}
45 \include{DataStruct.v} 45 \include{DataStruct.v}
46 \include{Equality.v} 46 \include{Equality.v}
47 \include{Generic.v} 47 \include{Generic.v}
48 \include{Universes.v} 48 \include{Universes.v}
49 \include{LogicProg.v}
49 \include{Match.v} 50 \include{Match.v}
50 \include{Reflection.v} 51 \include{Reflection.v}
51 \include{Large.v} 52 \include{Large.v}
52 \include{Firstorder.v} 53 \include{Firstorder.v}
53 \include{DeBruijn.v} 54 \include{DeBruijn.v}