New diagnostic command print_orders.
1.1 --- a/etc/isar-keywords-HOL-Nominal.el Tue Sep 18 18:53:12 2007 +0200
1.2 +++ b/etc/isar-keywords-HOL-Nominal.el Tue Sep 18 18:53:55 2007 +0200
1.3 @@ -156,6 +156,7 @@
1.4 "print_locales"
1.5 "print_methods"
1.6 "print_noatp_rules"
1.7 + "print_orders"
1.8 "print_rules"
1.9 "print_simpset"
1.10 "print_statement"
1.11 @@ -336,6 +337,7 @@
1.12 "print_locales"
1.13 "print_methods"
1.14 "print_noatp_rules"
1.15 + "print_orders"
1.16 "print_rules"
1.17 "print_simpset"
1.18 "print_statement"
2.1 --- a/etc/isar-keywords.el Tue Sep 18 18:53:12 2007 +0200
2.2 +++ b/etc/isar-keywords.el Tue Sep 18 18:53:55 2007 +0200
2.3 @@ -157,6 +157,7 @@
2.4 "print_locales"
2.5 "print_methods"
2.6 "print_noatp_rules"
2.7 + "print_orders"
2.8 "print_rules"
2.9 "print_simpset"
2.10 "print_statement"
2.11 @@ -351,6 +352,7 @@
2.12 "print_locales"
2.13 "print_methods"
2.14 "print_noatp_rules"
2.15 + "print_orders"
2.16 "print_rules"
2.17 "print_simpset"
2.18 "print_statement"