Mercurial > cpdt > repo

comparison src/Intro.v @ 142:6a00d49e85fb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of Reflection
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Oct 2008 11:29:14 -0400
parents bc1f7d3687e7
children 8157e8e28e2e
comparison
equal deleted inserted replaced
141:ce4cc7fa9b2b 142:6a00d49e85fb
199 \hline 199 \hline
200 Reasoning About Equality Proofs & \texttt{Equality.v} \\ 200 Reasoning About Equality Proofs & \texttt{Equality.v} \\
201 \hline 201 \hline
202 Proof Search in Ltac & \texttt{Match.v} \\ 202 Proof Search in Ltac & \texttt{Match.v} \\
203 \hline 203 \hline
204 Proof by Reflection & \texttt{Reflection.v} \\
205 \hline
204 \end{tabular} \end{center} 206 \end{tabular} \end{center}
205 207
206 % *) 208 % *)