changeset 24642 | 7865c239ba08 |
parent 24437 | c2a76e8a3d54 |
child 24866 | 6e6d9e80ebb4 |
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"