replaced "delrule" by "rule del";
authorwenzelm
Tue Sep 12 17:35:09 2000 +0200 (2000-09-12)
changeset 9937431c96ac997e
parent 9936 f080397656d8
child 9938 cb6a7572d0a1
replaced "delrule" by "rule del";
NEWS
     1.1 --- a/NEWS	Tue Sep 12 17:34:50 2000 +0200
     1.2 +++ b/NEWS	Tue Sep 12 17:35:09 2000 +0200
     1.3 @@ -54,7 +54,8 @@
     1.4  
     1.5  * Isar/Provers: intro/elim/dest attributes: changed
     1.6  intro/intro!/intro!!  flags to intro!/intro/intro? (in most cases, one
     1.7 -should have to change intro!! to intro? only);
     1.8 +should have to change intro!! to intro? only); replaced "delrule" by
     1.9 +"rule del";
    1.10  
    1.11  * Isar: changed syntax of local blocks from {{ }} to { };
    1.12  
    1.13 @@ -193,7 +194,7 @@
    1.14  
    1.15  * Provers: intro/elim/dest attributes: changed intro/intro!/intro!!
    1.16  flags to intro!/intro/intro? (in most cases, one should have to change
    1.17 -intro!! to intro? only);
    1.18 +intro!! to intro? only); replaced "delrule" by "rule del";
    1.19  
    1.20  * names of theorems etc. may be natural numbers as well;
    1.21