# HG changeset patch
# User wenzelm
# Date 1464099860 -7200
# Node ID 0644c2e5a989c0584be85195cae044f71e59051d
# Parent  d905741a80e85d559df6524f36f28598e0106383
updated;

diff -r d905741a80e8 -r 0644c2e5a989 src/Doc/Isar_Ref/Outer_Syntax.thy
--- a/src/Doc/Isar_Ref/Outer_Syntax.thy	Tue May 24 16:13:59 2016 +0200
+++ b/src/Doc/Isar_Ref/Outer_Syntax.thy	Tue May 24 16:24:20 2016 +0200
@@ -256,7 +256,7 @@
   @{rail \<open>
     @{syntax_def classdecl}: @{syntax name} (('<' | '\<subseteq>') (@{syntax name} + ','))?
     ;
-    @{syntax_def sort}: @{syntax name}
+    @{syntax_def sort}: @{syntax embedded}
     ;
     @{syntax_def arity}: ('(' (@{syntax sort} + ',') ')')? @{syntax sort}
   \<close>}