comparison src/Intro.v @ 182:24b99e025fe8

Start of Intensional
author Adam Chlipala <adamc@hcoop.net>
date Sun, 16 Nov 2008 11:54:51 -0500
parents ec44782bffdd
children 094bd1e353dd
comparison
equal deleted inserted replaced
181:ec44782bffdd 182:24b99e025fe8
209 \hline 209 \hline
210 Type-Theoretic Interpreters & \texttt{Interps.v} \\ 210 Type-Theoretic Interpreters & \texttt{Interps.v} \\
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} \\
215 \hline
214 \end{tabular} \end{center} 216 \end{tabular} \end{center}
215 217
216 % *) 218 % *)