Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
improved translations for subset symbols syntax: constraints;
authorwenzelm
Wed, 16 Apr 1997 18:46:01 +0200
changeset 2965 afbda7e26f15
parent 2964 557a11310988
child 2966 09e87e779b7d
improved translations for subset symbols syntax: constraints;
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"
isabelle