doc-src/IsarRef/Thy/document/syntax.tex

--- a/doc-src/IsarRef/Thy/document/syntax.tex	Tue May 06 00:10:59 2008 +0200
+++ b/doc-src/IsarRef/Thy/document/syntax.tex	Tue May 06 00:12:03 2008 +0200
@@ -221,9 +221,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}