diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2000-09-18 12:08:44 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2000-09-18 12:08:44 +0000 |
| commit | 7b48ae4873d7e585d7615440a12ab570da39b5d1 (patch) | |
| tree | 924e0a143ccff5e771f9d88b1cf95f5257a66e5d /isar/isar-keywords.el | |
| parent | 7b361b9bb2917e1a998d1a2bb08509ab8a84507a (diff) | |
complete set of keywords from IOA image;
Diffstat (limited to 'isar/isar-keywords.el')
| -rw-r--r-- | isar/isar-keywords.el | 22 |
1 files changed, 21 insertions, 1 deletions
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" |