# HG changeset patch
# User wenzelm
# Date 1208601067 -7200
# Node ID 4d9ca7a6b58601303eb3346e5a5d6a69188cffd7
# Parent  ff6ff3a9010e10bca856606817010374f1ac7fbe
updated generated file;

diff -r ff6ff3a9010e -r 4d9ca7a6b586 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Sat Apr 19 12:04:17 2008 +0200
+++ b/etc/isar-keywords.el	Sat Apr 19 12:31:07 2008 +0200
@@ -148,7 +148,6 @@
     "print_abbrevs"
     "print_antiquotations"
     "print_ast_translation"
-    "print_atp_rules"
     "print_attributes"
     "print_binds"
     "print_cases"
@@ -165,7 +164,6 @@
     "print_locale"
     "print_locales"
     "print_methods"
-    "print_noatp_rules"
     "print_orders"
     "print_rules"
     "print_simpset"
@@ -347,7 +345,6 @@
     "prf"
     "print_abbrevs"
     "print_antiquotations"
-    "print_atp_rules"
     "print_attributes"
     "print_binds"
     "print_cases"
@@ -364,7 +361,6 @@
     "print_locale"
     "print_locales"
     "print_methods"
-    "print_noatp_rules"
     "print_orders"
     "print_rules"
     "print_simpset"