NEWS
changeset 8203 2fcc6017cb72
parent 8184 6b7ef9fc39da
child 8271 7602b57ba028
     1.1 --- a/NEWS	Mon Feb 07 15:28:43 2000 +0100
     1.2 +++ b/NEWS	Mon Feb 07 18:38:51 2000 +0100
     1.3 @@ -12,7 +12,9 @@
     1.4  
     1.5  *** Isar ***
     1.6  
     1.7 -* names of theorems, assumptions etc. may be natural numbers as well;
     1.8 +* names of theorems etc. may be natural numbers as well;
     1.9 +
    1.10 +* intro/elim/dest attributes: changed ! / !! flags to ? / ??;
    1.11  
    1.12  * new 'obtain' language element supports generalized existence proofs;
    1.13