fixed \<subseteq> input;
authorwenzelm
Mon Dec 16 10:35:01 1996 +0100 (1996-12-16)
changeset 2412025e80ed698d
parent 2411 256dbda3df4f
child 2413 a00f0476e189
fixed \<subseteq> input;
src/HOL/Set.thy
     1.1 --- a/src/HOL/Set.thy	Mon Dec 16 10:29:30 1996 +0100
     1.2 +++ b/src/HOL/Set.thy	Mon Dec 16 10:35:01 1996 +0100
     1.3 @@ -110,6 +110,9 @@
     1.4    "*Ball"       :: [pttrn, 'a set, bool] => bool      ("(3\\<forall> _\\<in>_./ _)" [0, 0, 10] 10)
     1.5    "*Bex"        :: [pttrn, 'a set, bool] => bool      ("(3\\<exists> _\\<in>_./ _)" [0, 0, 10] 10)
     1.6  
     1.7 +translations
     1.8 +  "op \\<subseteq>" => "op <="
     1.9 +
    1.10  
    1.11  
    1.12  (** Rules and definitions **)