author | wenzelm |
Wed, 16 Apr 1997 18:46:01 +0200 | |
changeset 2965 | afbda7e26f15 |
parent 2964 | 557a11310988 |
child 2966 | 09e87e779b7d |
src/HOL/Set.thy | file | annotate | diff | comparison | revisions |
--- a/src/HOL/Set.thy Wed Apr 16 18:25:46 1997 +0200 +++ b/src/HOL/Set.thy Wed Apr 16 18:46:01 1997 +0200 @@ -113,8 +113,8 @@ "*Bex" :: [pttrn, 'a set, bool] => bool ("(3\\<exists> _\\<in>_./ _)" [0, 0, 10] 10) translations - "op \\<subseteq>" => "op <=" - "op \\<subset>" => "op <" + "op \\<subseteq>" => "op <= :: [_ set, _ set] => bool" + "op \\<subset>" => "op < :: [_ set, _ set] => bool"