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.
*** empty log message ***
authoroheimb
Mon, 21 Sep 1998 23:25:27 +0200
changeset 5526 e7617b57a3e6
parent 5525 896f8234b864
child 5527 38928c4a8eb2
*** empty log message ***
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Mon Sep 21 23:17:28 1998 +0200
+++ b/NEWS	Mon Sep 21 23:25:27 1998 +0200
@@ -187,7 +187,7 @@
 * reorganized the main HOL image: HOL/Integ and String loaded by
 default; theory Main includes everything;
 
-* added option_map_eq_Some to the default simpset claset;
+* added option_map_eq_Some and not_Some_eq to the default simpset and claset;
 
 * added disj_not1 = "(~P | Q) = (P --> Q)" to the default simpset;
isabelle