1.1 --- a/etc/isar-keywords.el	Sat Apr 19 12:04:17 2008 +0200
     1.2 +++ b/etc/isar-keywords.el	Sat Apr 19 12:31:07 2008 +0200
     1.3 @@ -148,7 +148,6 @@
     1.4      "print_abbrevs"
     1.5      "print_antiquotations"
     1.6      "print_ast_translation"
     1.7 -    "print_atp_rules"
     1.8      "print_attributes"
     1.9      "print_binds"
    1.10      "print_cases"
    1.11 @@ -165,7 +164,6 @@
    1.12      "print_locale"
    1.13      "print_locales"
    1.14      "print_methods"
    1.15 -    "print_noatp_rules"
    1.16      "print_orders"
    1.17      "print_rules"
    1.18      "print_simpset"
    1.19 @@ -347,7 +345,6 @@
    1.20      "prf"
    1.21      "print_abbrevs"
    1.22      "print_antiquotations"
    1.23 -    "print_atp_rules"
    1.24      "print_attributes"
    1.25      "print_binds"
    1.26      "print_cases"
    1.27 @@ -364,7 +361,6 @@
    1.28      "print_locale"
    1.29      "print_locales"
    1.30      "print_methods"
    1.31 -    "print_noatp_rules"
    1.32      "print_orders"
    1.33      "print_rules"
    1.34      "print_simpset"