| changeset 38522 | de7984a7172b |
| parent 38461 | 75fc4087764e |
| child 38524 | c3f2e9986e30 |
--- a/NEWS Wed Aug 18 12:19:27 2010 +0200 +++ b/NEWS Wed Aug 18 12:26:48 2010 +0200 @@ -131,6 +131,16 @@ similar to inductive_cases. +*** FOL *** + +* All constant names are now qualified. INCOMPATIBILITY. + + +*** ZF *** + +* All constant names are now qualified. INCOMPATIBILITY. + + *** ML *** * ML antiquotations @{theory} and @{theory_ref} refer to named