HOL: renaming of "not"
authorpaulson
Wed Mar 05 10:05:32 1997 +0100 (1997-03-05 ago)
changeset 2726e050f8bb1177
parent 2725 9453616d4b80
child 2727 230f2643107e
HOL: renaming of "not"
NEWS
     1.1 --- a/NEWS	Wed Mar 05 10:04:45 1997 +0100
     1.2 +++ b/NEWS	Wed Mar 05 10:05:32 1997 +0100
     1.3 @@ -38,6 +38,9 @@
     1.4  
     1.5  * HOL: primrec now also works with type nat;
     1.6  
     1.7 +* HOL: the constant for negation has been renamed from "not" to "Not" to
     1.8 +harmonize with FOL, ZF, LK, etc.
     1.9 +
    1.10  * new utilities to build / run / maintain Isabelle etc. (in parts
    1.11  still somewhat experimental); old Makefiles etc. still functional;
    1.12