From 7b48ae4873d7e585d7615440a12ab570da39b5d1 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Mon, 18 Sep 2000 12:08:44 +0000
Subject: complete set of keywords from IOA image;

---
 isar/isar-keywords.el | 22 +++++++++++++++++++++-
 1 file changed, 21 insertions(+), 1 deletion(-)

diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index a5d19b8a..aa51fa7d 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -23,6 +23,7 @@
     "apply_end"
     "arities"
     "assume"
+    "automaton"
     "axclass"
     "axioms"
     "back"
@@ -158,23 +159,41 @@
     "}"))
 
 (defconst isar-keywords-minor
-  '("and"
+  '("actions"
+    "and"
     "binder"
+    "compose"
     "con_defs"
     "concl"
+    "congs"
     "distinct"
     "files"
+    "hide_action"
     "hints"
     "in"
     "induction"
     "infixl"
     "infixr"
+    "initially"
     "inject"
+    "inputs"
+    "internals"
     "intros"
     "is"
     "monos"
     "output"
+    "outputs"
     "overloaded"
+    "post"
+    "pre"
+    "rename"
+    "restrict"
+    "signature"
+    "states"
+    "to"
+    "transitions"
+    "transrel"
+    "using"
     "where"))
 
 (defconst isar-keywords-control
@@ -256,6 +275,7 @@
 (defconst isar-keywords-theory-decl
   '("ML_setup"
     "arities"
+    "automaton"
     "axclass"
     "axioms"
     "classes"
-- 
cgit v1.2.3