HOL: eliminated global items;
authorwenzelm
Thu Sep 27 22:30:09 2001 +0200 (2001-09-27)
changeset 11611b0c69f4db64c
parent 11610 99103cef5f29
child 11612 ae8450657bf0
HOL: eliminated global items;
NEWS
     1.1 --- a/NEWS	Thu Sep 27 22:29:57 2001 +0200
     1.2 +++ b/NEWS	Thu Sep 27 22:30:09 2001 +0200
     1.3 @@ -43,6 +43,12 @@
     1.4  * HOL/GroupTheory: group theory examples including Sylow's theorem, by
     1.5  Florian Kammüller;
     1.6  
     1.7 +* HOL: eliminated global items
     1.8 +
     1.9 +  const "()" -> "Product_Type.Unity"
    1.10 +  type "unit" -> "Product_Type.unit"
    1.11 +
    1.12 +
    1.13  
    1.14  *** ZF ***
    1.15