src/HOL/Set.thy
changeset 2412 025e80ed698d
parent 2393 651fce76c86c
child 2684 9781d63ef063
     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 **)