From 0946b255a65b3b3843b893d9022fd179aa6073d0 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 7 Sep 2000 20:43:39 +0000
Subject: removed "of", "congs"; added "hints";

---
 isar/isar-keywords.el | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index 8e027618..a5d19b8a 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -162,9 +162,9 @@
     "binder"
     "con_defs"
     "concl"
-    "congs"
     "distinct"
     "files"
+    "hints"
     "in"
     "induction"
     "infixl"
@@ -173,7 +173,6 @@
     "intros"
     "is"
     "monos"
-    "of"
     "output"
     "overloaded"
     "where"))
-- 
cgit v1.2.3