
diff -r 11417d1eff3b -r b68e1c27709a doc-src/IsarImplementation/Thy/Logic.thy
--- a/doc-src/IsarImplementation/Thy/Logic.thy	Sun May 01 17:41:49 2011 +0200
+++ b/doc-src/IsarImplementation/Thy/Logic.thy	Sun May 01 17:42:21 2011 +0200
@@ -745,8 +745,8 @@
   ;
   @@{ML_antiquotation thms} thmrefs
   ;
-  @@{ML_antiquotation lemma} ('(' @@{keyword \"open\"} ')')? ((prop +) + @@{keyword \"and\"}) \\
-    @@{keyword \"by\"} method method?
+  @@{ML_antiquotation lemma} ('(' @'open' ')')? ((prop +) + @'and') \\
+    @'by' method method?
   "}
 
   \begin{description}




