doc-src/IsarImplementation/Thy/logic.thy
changeset 20929 cd2a6d00ec47
parent 20547 796ae7fa1049
child 21324 a5089fc012b5
--- 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