# HG changeset patch
# User wenzelm
# Date 1014756246 -3600
# Node ID 850609c057e25fd464b0fecb9045f442815e62d9
# Parent  7d5bd53555d818529a9212998411def3d7cc00fc
updated;

diff -r 7d5bd53555d8 -r 850609c057e2 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Tue Feb 26 18:20:25 2002 +0100
+++ b/etc/isar-keywords-ZF.el	Tue Feb 26 21:44:06 2002 +0100
@@ -180,6 +180,7 @@
     "files"
     "fixes"
     "in"
+    "includes"
     "induction"
     "infix"
     "infixl"
@@ -195,7 +196,6 @@
     "structure"
     "type_elims"
     "type_intros"
-    "uses"
     "where"))
 
 (defconst isar-keywords-control
diff -r 7d5bd53555d8 -r 850609c057e2 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Tue Feb 26 18:20:25 2002 +0100
+++ b/etc/isar-keywords.el	Tue Feb 26 21:44:06 2002 +0100
@@ -187,6 +187,7 @@
     "hide_action"
     "hints"
     "in"
+    "includes"
     "induction"
     "infix"
     "infixl"
@@ -216,7 +217,6 @@
     "to"
     "transitions"
     "transrel"
-    "uses"
     "where"))
 
 (defconst isar-keywords-control