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