From f70b0165bca0740b39ff9a5ed9aa3b341e6c4714 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Sat, 29 Jul 2000 21:21:19 +0000
Subject: added "thm_deps", "overloaded";

---
 isar/isar-keywords.el | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index 50028cfd..9363b7b0 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -128,6 +128,7 @@
     "theorems"
     "theory"
     "thm"
+    "thm_deps"
     "thms_containing"
     "thus"
     "token_translation"
@@ -172,6 +173,7 @@
     "is"
     "monos"
     "output"
+    "overloaded"
     "where"))
 
 (defconst isar-keywords-control
@@ -222,6 +224,7 @@
     "remove_thy"
     "term"
     "thm"
+    "thm_deps"
     "thms_containing"
     "touch_all_thys"
     "touch_child_thys"
-- 
cgit v1.2.3