etc/isar-keywords-ZF.el
changeset 12954 850609c057e2
parent 12935 d697091d1591
child 13364 d3c7d05d8839
--- 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