changeset 55029 | 61a6bf7d4b02 |
parent 54883 | dd04a8b654fc |
child 55112 | b1a5d603fd12 |
--- a/src/Doc/IsarImplementation/Logic.thy Fri Jan 17 18:12:35 2014 +0100 +++ b/src/Doc/IsarImplementation/Logic.thy Fri Jan 17 20:20:20 2014 +0100 @@ -791,7 +791,7 @@ ; @@{ML_antiquotation thms} thmrefs ; - @@{ML_antiquotation lemma} ('(' @'open' ')')? ((prop +) + @'and') \\ + @@{ML_antiquotation lemma} ('(' @'open' ')')? ((prop +) + @'and') \<newline> @'by' method method? "}