| changeset 50122 | 7ae7efef5ad8 |
| parent 50085 | 24ef81a22ee9 |
| child 52422 | 93f3f9a2ae91 |
--- a/src/Doc/IsarImplementation/Eq.thy Sun Nov 18 19:01:30 2012 +0100 +++ b/src/Doc/IsarImplementation/Eq.thy Mon Nov 19 16:14:18 2012 +0100 @@ -72,7 +72,12 @@ section {* Conversions \label{sec:conv} *} -text {* FIXME *} +text {* + FIXME + + The classic article that introduces the concept of conversion (for + Cambridge LCF) is \cite{paulson:1983}. +*} section {* Rewriting \label{sec:rewriting} *}