Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/equalities.ML
changeset 1264 3eb91524b938
parent 1179 7678408f9751
child 1465 5d7a7e439cec 
--- a/src/HOL/equalities.ML	Wed Oct 04 13:01:05 1995 +0100
+++ b/src/HOL/equalities.ML	Wed Oct 04 13:10:03 1995 +0100
@@ -337,7 +337,7 @@
 by (fast_tac eq_cs 1);
 qed "Diff_Int";
 
-val set_ss = set_ss addsimps
+Addsimps
   [in_empty,in_insert,insert_subset,
    insert_not_empty,empty_not_insert,
    Int_absorb,Int_empty_left,Int_empty_right,
isabelle