Mercurial > cpdt > repo

comparison src/Intro.v @ 158:fabfaa93c9ea

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Hoas, up to type soundness
author Adam Chlipala <adamc@hcoop.net>
date Mon, 03 Nov 2008 09:43:32 -0500
parents 8c19768f1a1a
children f8353e2a21d6
comparison
equal deleted inserted replaced
157:2022e3f2aa26 158:fabfaa93c9ea
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 Abstract Syntax & \texttt{Firstorder.v} \\ 206 First-Order Abstract Syntax & \texttt{Firstorder.v} \\
207 \hline 207 \hline
208 Higher-Order Abstract Syntax & \texttt{Hoas.v} \\
209 \hline
208 \end{tabular} \end{center} 210 \end{tabular} \end{center}
209 211
210 % *) 212 % *)