Mercurial > cpdt > repo

comparison src/Intro.v @ 190:094bd1e353dd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Import predicative Impure example
author Adam Chlipala <adamc@hcoop.net>
date Tue, 18 Nov 2008 12:44:46 -0500
parents 24b99e025fe8
children 8e9499e27b6c
comparison
equal deleted inserted replaced
189:0198181d1b64 190:094bd1e353dd
211 \hline 211 \hline
212 Extensional Transformations & \texttt{Extensional.v} \\ 212 Extensional Transformations & \texttt{Extensional.v} \\
213 \hline 213 \hline
214 Intensional Transformations & \texttt{Intensional.v} \\ 214 Intensional Transformations & \texttt{Intensional.v} \\
215 \hline 215 \hline
216 Modeling Impure Languages & \texttt{Impure.v} \\
217 \hline
216 \end{tabular} \end{center} 218 \end{tabular} \end{center}
217 219
218 % *) 220 % *)