# HG changeset patch # User wenzelm # Date 968772909 -7200 # Node ID 431c96ac997ee2945929c69808bc7a42898a575a # Parent f080397656d8e2f91d2e7afbc68a6a9546c32563 replaced "delrule" by "rule del"; diff -r f080397656d8 -r 431c96ac997e NEWS --- a/NEWS Tue Sep 12 17:34:50 2000 +0200 +++ b/NEWS Tue Sep 12 17:35:09 2000 +0200 @@ -54,7 +54,8 @@ * Isar/Provers: intro/elim/dest attributes: changed intro/intro!/intro!! flags to intro!/intro/intro? (in most cases, one -should have to change intro!! to intro? only); +should have to change intro!! to intro? only); replaced "delrule" by +"rule del"; * Isar: changed syntax of local blocks from {{ }} to { }; @@ -193,7 +194,7 @@ * Provers: intro/elim/dest attributes: changed intro/intro!/intro!! flags to intro!/intro/intro? (in most cases, one should have to change -intro!! to intro? only); +intro!! to intro? only); replaced "delrule" by "rule del"; * names of theorems etc. may be natural numbers as well;