etc/isar-keywords.el
changeset 16034 6ccd552ee366
parent 15762 13d1ec61bc89
child 16168 adb83939177f
     1.1 --- a/etc/isar-keywords.el	Sun May 22 16:54:09 2005 +0200
     1.2 +++ b/etc/isar-keywords.el	Sun May 22 18:59:05 2005 +0200
     1.3 @@ -63,7 +63,6 @@
     1.4      "extract_type"
     1.5      "finalconsts"
     1.6      "finally"
     1.7 -    "find_rewrites"
     1.8      "fix"
     1.9      "from"
    1.10      "full_prf"
    1.11 @@ -117,7 +116,6 @@
    1.12      "print_facts"
    1.13      "print_induct_rules"
    1.14      "print_interps"
    1.15 -    "print_intros"
    1.16      "print_locale"
    1.17      "print_locales"
    1.18      "print_methods"
    1.19 @@ -273,7 +271,6 @@
    1.20      "disable_pr"
    1.21      "display_drafts"
    1.22      "enable_pr"
    1.23 -    "find_rewrites"
    1.24      "full_prf"
    1.25      "header"
    1.26      "kill_thy"
    1.27 @@ -291,7 +288,6 @@
    1.28      "print_facts"
    1.29      "print_induct_rules"
    1.30      "print_interps"
    1.31 -    "print_intros"
    1.32      "print_locale"
    1.33      "print_locales"
    1.34      "print_methods"