--- a/doc-src/IsarImplementation/Thy/logic.thy Mon Oct 09 19:37:07 2006 +0200 +++ b/doc-src/IsarImplementation/Thy/logic.thy Mon Oct 09 20:12:42 2006 +0200 @@ -766,7 +766,7 @@ section {* Rules \label{sec:rules} *} -text {* +text %FIXME {* FIXME