Mercurial > cpdt > repo

comparison src/Intro.v @ 235:52b9e43be069

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Uncommented functor example
author Adam Chlipala <adamc@hcoop.net>
date Fri, 04 Dec 2009 13:44:05 -0500
parents d8c54a25c81f
children 0400fa005d5a
comparison
equal deleted inserted replaced
234:82eae7bc91ea 235:52b9e43be069
205 \hline 205 \hline
206 Proof Search in Ltac & \texttt{Match.v} \\ 206 Proof Search in Ltac & \texttt{Match.v} \\
207 \hline 207 \hline
208 Proof by Reflection & \texttt{Reflection.v} \\ 208 Proof by Reflection & \texttt{Reflection.v} \\
209 \hline 209 \hline
210 Proving in the Large & \texttt{Large.v} \\
211 \hline
210 First-Order Abstract Syntax & \texttt{Firstorder.v} \\ 212 First-Order Abstract Syntax & \texttt{Firstorder.v} \\
211 \hline 213 \hline
212 Higher-Order Abstract Syntax & \texttt{Hoas.v} \\ 214 Higher-Order Abstract Syntax & \texttt{Hoas.v} \\
213 \hline 215 \hline
214 Type-Theoretic Interpreters & \texttt{Interps.v} \\ 216 Type-Theoretic Interpreters & \texttt{Interps.v} \\