improved translations for subset symbols syntax: constraints;
authorwenzelm
Wed Apr 16 18:46:01 1997 +0200 (1997-04-16)
changeset 2965afbda7e26f15
parent 2964 557a11310988
child 2966 09e87e779b7d
improved translations for subset symbols syntax: constraints;
src/HOL/Set.thy
     1.1 --- a/src/HOL/Set.thy	Wed Apr 16 18:25:46 1997 +0200
     1.2 +++ b/src/HOL/Set.thy	Wed Apr 16 18:46:01 1997 +0200
     1.3 @@ -113,8 +113,8 @@
     1.4    "*Bex"        :: [pttrn, 'a set, bool] => bool      ("(3\\<exists> _\\<in>_./ _)" [0, 0, 10] 10)
     1.5  
     1.6  translations
     1.7 -  "op \\<subseteq>" => "op <="
     1.8 -  "op \\<subset>" => "op <"
     1.9 +  "op \\<subseteq>" => "op <= :: [_ set, _ set] => bool"
    1.10 +  "op \\<subset>" => "op <  :: [_ set, _ set] => bool"
    1.11  
    1.12  
    1.13