src/Doc/Isar_Ref/Document_Preparation.thy
changeset 68481 fb6afa538b04
parent 67297 86a099f896fc
child 68484 59793df7f853
--- a/src/Doc/Isar_Ref/Document_Preparation.thy	Thu Jun 21 14:17:57 2018 +0200
+++ b/src/Doc/Isar_Ref/Document_Preparation.thy	Thu Jun 21 14:29:44 2018 +0200
@@ -167,7 +167,7 @@
     @{syntax_def antiquotation_body}:
       (@@{antiquotation text} | @@{antiquotation cartouche} | @@{antiquotation theory_text})
         options @{syntax text} |
-      @@{antiquotation theory} options @{syntax name} |
+      @@{antiquotation theory} options @{syntax embedded} |
       @@{antiquotation thm} options styles @{syntax thms} |
       @@{antiquotation lemma} options @{syntax prop} @'by' @{syntax method} @{syntax method}? |
       @@{antiquotation prop} options styles @{syntax prop} |