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.
fixed \<subseteq> input;
authorwenzelm
Mon, 16 Dec 1996 10:35:01 +0100
changeset 2412 025e80ed698d
parent 2411 256dbda3df4f
child 2413 a00f0476e189
fixed \<subseteq> input;
src/HOL/Set.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Set.thy	Mon Dec 16 10:29:30 1996 +0100
+++ b/src/HOL/Set.thy	Mon Dec 16 10:35:01 1996 +0100
@@ -110,6 +110,9 @@
   "*Ball"       :: [pttrn, 'a set, bool] => bool      ("(3\\<forall> _\\<in>_./ _)" [0, 0, 10] 10)
   "*Bex"        :: [pttrn, 'a set, bool] => bool      ("(3\\<exists> _\\<in>_./ _)" [0, 0, 10] 10)
 
+translations
+  "op \\<subseteq>" => "op <="
+
 
 
 (** Rules and definitions **)
isabelle