# HG changeset patch
# User wenzelm
# Date 1011049691 -3600
# Node ID 044a59921f3ba5416bf3fcfde54a238e45a854d3
# Parent  3a62df7ae9269cc60a641e5f4c70d7f29f552eb2
Isar: undeclared rule case names default to numbers 1, 2, 3, ...;

diff -r 3a62df7ae926 -r 044a59921f3b NEWS
--- a/NEWS	Mon Jan 14 17:45:30 2002 +0100
+++ b/NEWS	Tue Jan 15 00:08:11 2002 +0100
@@ -60,7 +60,9 @@
     rule statements (uses the new concept of simultaneous goals, see
     below);
   - removed obsolete "(simplified)" and "(stripped)" options of methods;
-  - added 'print_induct_rules' (covered by help item in Proof General > 3.3);
+  - undeclared rule case names default to numbers 1, 2, 3, ...;
+  - added 'print_induct_rules' (covered by help item in recent Proof
+    General versions);
   - moved induct/cases attributes to Pure, methods to Provers;
   - generic method setup instantiated for FOL and HOL;