updated;
authorwenzelm
Sun May 22 18:59:05 2005 +0200 (2005-05-22)
changeset 160346ccd552ee366
parent 16033 f93ca3d4ffa7
child 16035 31bd65f7b22a
updated;
etc/isar-keywords-ZF.el
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords-ZF.el	Sun May 22 16:54:09 2005 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Sun May 22 18:59:05 2005 +0200
     1.3 @@ -60,7 +60,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 @@ -114,7 +113,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 @@ -248,7 +246,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 @@ -266,7 +263,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"
     2.1 --- a/etc/isar-keywords.el	Sun May 22 16:54:09 2005 +0200
     2.2 +++ b/etc/isar-keywords.el	Sun May 22 18:59:05 2005 +0200
     2.3 @@ -63,7 +63,6 @@
     2.4      "extract_type"
     2.5      "finalconsts"
     2.6      "finally"
     2.7 -    "find_rewrites"
     2.8      "fix"
     2.9      "from"
    2.10      "full_prf"
    2.11 @@ -117,7 +116,6 @@
    2.12      "print_facts"
    2.13      "print_induct_rules"
    2.14      "print_interps"
    2.15 -    "print_intros"
    2.16      "print_locale"
    2.17      "print_locales"
    2.18      "print_methods"
    2.19 @@ -273,7 +271,6 @@
    2.20      "disable_pr"
    2.21      "display_drafts"
    2.22      "enable_pr"
    2.23 -    "find_rewrites"
    2.24      "full_prf"
    2.25      "header"
    2.26      "kill_thy"
    2.27 @@ -291,7 +288,6 @@
    2.28      "print_facts"
    2.29      "print_induct_rules"
    2.30      "print_interps"
    2.31 -    "print_intros"
    2.32      "print_locale"
    2.33      "print_locales"
    2.34      "print_methods"