# HG changeset patch
# User wenzelm
# Date 1116781145 -7200
# Node ID 6ccd552ee3665bc3445fdc05b0b6a4440d9fe284
# Parent  f93ca3d4ffa75f4a45d318a21f23c3b2346c28ce
updated;

diff -r f93ca3d4ffa7 -r 6ccd552ee366 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Sun May 22 16:54:09 2005 +0200
+++ b/etc/isar-keywords-ZF.el	Sun May 22 18:59:05 2005 +0200
@@ -60,7 +60,6 @@
     "extract_type"
     "finalconsts"
     "finally"
-    "find_rewrites"
     "fix"
     "from"
     "full_prf"
@@ -114,7 +113,6 @@
     "print_facts"
     "print_induct_rules"
     "print_interps"
-    "print_intros"
     "print_locale"
     "print_locales"
     "print_methods"
@@ -248,7 +246,6 @@
     "disable_pr"
     "display_drafts"
     "enable_pr"
-    "find_rewrites"
     "full_prf"
     "header"
     "kill_thy"
@@ -266,7 +263,6 @@
     "print_facts"
     "print_induct_rules"
     "print_interps"
-    "print_intros"
     "print_locale"
     "print_locales"
     "print_methods"
diff -r f93ca3d4ffa7 -r 6ccd552ee366 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Sun May 22 16:54:09 2005 +0200
+++ b/etc/isar-keywords.el	Sun May 22 18:59:05 2005 +0200
@@ -63,7 +63,6 @@
     "extract_type"
     "finalconsts"
     "finally"
-    "find_rewrites"
     "fix"
     "from"
     "full_prf"
@@ -117,7 +116,6 @@
     "print_facts"
     "print_induct_rules"
     "print_interps"
-    "print_intros"
     "print_locale"
     "print_locales"
     "print_methods"
@@ -273,7 +271,6 @@
     "disable_pr"
     "display_drafts"
     "enable_pr"
-    "find_rewrites"
     "full_prf"
     "header"
     "kill_thy"
@@ -291,7 +288,6 @@
     "print_facts"
     "print_induct_rules"
     "print_interps"
-    "print_intros"
     "print_locale"
     "print_locales"
     "print_methods"