--- 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} |