src/HOL/Set.thy
changeset 12114 a8e860c86252
parent 12023 d982f98e0f0d
child 12257 e3f7d6fb55d7
     1.1 --- a/src/HOL/Set.thy	Fri Nov 09 00:06:15 2001 +0100
     1.2 +++ b/src/HOL/Set.thy	Fri Nov 09 00:09:47 2001 +0100
     1.3 @@ -91,7 +91,7 @@
     1.4    "_setless"    :: "'a set => 'a set => bool"             ("op <")
     1.5    "_setless"    :: "'a set => 'a set => bool"             ("(_/ < _)" [50, 51] 50)
     1.6  
     1.7 -syntax (symbols)
     1.8 +syntax (xsymbols)
     1.9    "_setle"      :: "'a set => 'a set => bool"             ("op \<subseteq>")
    1.10    "_setle"      :: "'a set => 'a set => bool"             ("(_/ \<subseteq> _)" [50, 51] 50)
    1.11    "_setless"    :: "'a set => 'a set => bool"             ("op \<subset>")