From 48b49eafbcdb62f2dca53d609fd71ad6d8909b9b Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Sun, 26 Sep 1999 14:51:40 +0000
Subject: added thms_containing, ML_setup;

---
 isar/isar-keywords.el | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'isar/isar-keywords.el')

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index 6194a89b..dadac654 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -35,7 +35,8 @@
     "quit"
     "redo"
     "undo"
-    "undos_proof"))
+    "undos_proof"
+    "welcome"))
 
 (defconst isar-keywords-diag
   '("ML"
@@ -58,6 +59,7 @@
     "remove_thy"
     "term"
     "thm"
+    "thms_containing"
     "touch_all_thys"
     "touch_thy"
     "typ"
@@ -84,7 +86,8 @@
     "title"))
 
 (defconst isar-keywords-theory-decl
-  '("arities"
+  '("ML_setup"
+    "arities"
     "axclass"
     "axioms"
     "classes"
-- 
cgit v1.2.3