Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Doc/Implementation/Logic.thy
changeset 74604 3da2662a35cd
parent 74282 c2ee8d993d6a
child 74874 8baf2e8b16e2 
--- a/src/Doc/Implementation/Logic.thy	Thu Oct 28 12:25:47 2021 +0200
+++ b/src/Doc/Implementation/Logic.thy	Thu Oct 28 13:13:48 2021 +0200
@@ -704,7 +704,7 @@
   @@{ML_antiquotation thms} thms
   ;
   @@{ML_antiquotation lemma} ('(' @'open' ')')? ((prop +) + @'and') \<newline>
-    @'by' method method?
+    @{syntax for_fixes} @'by' method method?
   ;
   @@{ML_antiquotation oracle_name} embedded
   \<close>
isabelle