Mercurial > cpdt > repo

comparison src/Intro.v @ 152:8157e8e28e2e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Proved concrete substitution
author Adam Chlipala <adamc@hcoop.net>
date Sun, 02 Nov 2008 12:16:55 -0500
parents 6a00d49e85fb
children 8c19768f1a1a
comparison
equal deleted inserted replaced
151:e71904f61e69 152:8157e8e28e2e
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} \\ 204 Proof by Reflection & \texttt{Reflection.v} \\
205 \hline 205 \hline
206 First-Order Variable Representations & \texttt{Firstorder.v} \\
207 \hline
206 \end{tabular} \end{center} 208 \end{tabular} \end{center}
207 209
208 % *) 210 % *)