Mercurial > cpdt > repo

comparison src/Intro.v @ 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 70e51e8cfce7
children 4a432659a698
comparison
equal deleted inserted replaced
323:3513d8b0531a 324:06d11a6363cd
235 \hline 235 \hline
236 Generic Programming & \texttt{Generic.v} \\ 236 Generic Programming & \texttt{Generic.v} \\
237 \hline 237 \hline
238 Universes and Axioms & \texttt{Universes.v} \\ 238 Universes and Axioms & \texttt{Universes.v} \\
239 \hline 239 \hline
240 Proof Search by Logic Programming & \texttt{LogicProg.v} \\
241 \hline
240 Proof Search in Ltac & \texttt{Match.v} \\ 242 Proof Search in Ltac & \texttt{Match.v} \\
241 \hline 243 \hline
242 Proof by Reflection & \texttt{Reflection.v} \\ 244 Proof by Reflection & \texttt{Reflection.v} \\
243 \hline 245 \hline
244 Proving in the Large & \texttt{Large.v} \\ 246 Proving in the Large & \texttt{Large.v} \\