etc/isar-keywords-HOL-Nominal.el
changeset 24642 7865c239ba08
parent 24437 c2a76e8a3d54
child 24866 6e6d9e80ebb4
--- a/etc/isar-keywords-HOL-Nominal.el	Tue Sep 18 18:53:12 2007 +0200
+++ b/etc/isar-keywords-HOL-Nominal.el	Tue Sep 18 18:53:55 2007 +0200
@@ -156,6 +156,7 @@
     "print_locales"
     "print_methods"
     "print_noatp_rules"
+    "print_orders"
     "print_rules"
     "print_simpset"
     "print_statement"
@@ -336,6 +337,7 @@
     "print_locales"
     "print_methods"
     "print_noatp_rules"
+    "print_orders"
     "print_rules"
     "print_simpset"
     "print_statement"