Mercurial > cpdt > repo
diff src/Intro.v @ 262:de53c8bcfa8d
OpSem code
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Mon, 28 Dec 2009 12:35:44 -0500 |
| parents | 0400fa005d5a |
| children | dce88a5c170c |
line wrap: on
line diff
--- a/src/Intro.v Wed Dec 16 17:31:57 2009 -0500 +++ b/src/Intro.v Mon Dec 28 12:35:44 2009 -0500 @@ -223,7 +223,7 @@ \hline Intensional Transformations & \texttt{Intensional.v} \\ \hline -Modeling Impure Languages & \texttt{Impure.v} \\ +Higher-Order Operational Semantics & \texttt{OpSem.v} \\ \hline \end{tabular} \end{center}