Mercurial > cpdt > repo

comparison src/Intro.v @ 381:d5112c099fbf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New chapter: ProgLang
author Adam Chlipala <adam@chlipala.net>
date Sun, 01 Apr 2012 15:02:32 -0400
parents 31fa03bc0f18
children 9e47cdd76bb5
comparison
equal deleted inserted replaced
380:31fa03bc0f18 381:d5112c099fbf
245 \hline 245 \hline
246 Proof by Reflection & \texttt{Reflection.v} \\ 246 Proof by Reflection & \texttt{Reflection.v} \\
247 \hline 247 \hline
248 Proving in the Large & \texttt{Large.v} \\ 248 Proving in the Large & \texttt{Large.v} \\
249 \hline 249 \hline
250 A Taste of Reasoning About Programming Language Syntax & \texttt{Large.v} \\
251 \hline
250 \end{tabular} \end{center} 252 \end{tabular} \end{center}
251 253
252 % *) 254 % *)