changeset 52422 | 93f3f9a2ae91 |
parent 50122 | 7ae7efef5ad8 |
child 53982 | f0ee92285221 |
--- a/src/Doc/IsarImplementation/Eq.thy Fri Jun 21 13:36:10 2013 +0200 +++ b/src/Doc/IsarImplementation/Eq.thy Sat Jun 22 18:24:06 2013 +0200 @@ -73,7 +73,7 @@ section {* Conversions \label{sec:conv} *} text {* - FIXME + %FIXME The classic article that introduces the concept of conversion (for Cambridge LCF) is \cite{paulson:1983}.