
diff -r e4e5d911e01c -r 4b96f1364138 doc-src/IsarRef/Thy/syntax.thy
--- a/doc-src/IsarRef/Thy/syntax.thy	Tue May 06 00:10:23 2008 +0200
+++ b/doc-src/IsarRef/Thy/syntax.thy	Tue May 06 00:10:59 2008 +0200
@@ -197,9 +197,6 @@
   intersection of these classes.  The syntax of type arities is given
   directly at the outer level.
 
-  \railalias{subseteq}{\isasymsubseteq}
-  \railterm{subseteq}
-
   \indexouternonterm{sort}\indexouternonterm{arity}
   \indexouternonterm{classdecl}
   \begin{rail}




