NEWS
changeset 38522 de7984a7172b
parent 38461 75fc4087764e
child 38524 c3f2e9986e30
     1.1 --- a/NEWS	Wed Aug 18 12:19:27 2010 +0200
     1.2 +++ b/NEWS	Wed Aug 18 12:26:48 2010 +0200
     1.3 @@ -131,6 +131,16 @@
     1.4  similar to inductive_cases.
     1.5  
     1.6  
     1.7 +*** FOL ***
     1.8 +
     1.9 +* All constant names are now qualified.  INCOMPATIBILITY.
    1.10 +
    1.11 +
    1.12 +*** ZF ***
    1.13 +
    1.14 +* All constant names are now qualified.  INCOMPATIBILITY.
    1.15 +
    1.16 +
    1.17  *** ML ***
    1.18  
    1.19  * ML antiquotations @{theory} and @{theory_ref} refer to named