Mercurial > cpdt > repo

comparison src/Intro.v @ 153:8c19768f1a1a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix some uglyness
author Adam Chlipala <adamc@hcoop.net>
date Sun, 02 Nov 2008 12:20:56 -0500
parents 8157e8e28e2e
children fabfaa93c9ea
comparison
equal deleted inserted replaced
152:8157e8e28e2e 153:8c19768f1a1a
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} \\ 206 First-Order Abstract Syntax & \texttt{Firstorder.v} \\
207 \hline 207 \hline
208 \end{tabular} \end{center} 208 \end{tabular} \end{center}
209 209
210 % *) 210 % *)