*** empty log message ***
authoroheimb
Mon Sep 21 23:25:27 1998 +0200 (1998-09-21)
changeset 5526e7617b57a3e6
parent 5525 896f8234b864
child 5527 38928c4a8eb2
*** empty log message ***
NEWS
     1.1 --- a/NEWS	Mon Sep 21 23:17:28 1998 +0200
     1.2 +++ b/NEWS	Mon Sep 21 23:25:27 1998 +0200
     1.3 @@ -187,7 +187,7 @@
     1.4  * reorganized the main HOL image: HOL/Integ and String loaded by
     1.5  default; theory Main includes everything;
     1.6  
     1.7 -* added option_map_eq_Some to the default simpset claset;
     1.8 +* added option_map_eq_Some and not_Some_eq to the default simpset and claset;
     1.9  
    1.10  * added disj_not1 = "(~P | Q) = (P --> Q)" to the default simpset;
    1.11