etc/isar-keywords.el
changeset 12040 61e99f0f5c01
parent 11746 9bf11f1de9d6
child 12042 1e5c01d5fe04
--- a/etc/isar-keywords.el	Sat Nov 03 18:42:55 2001 +0100
+++ b/etc/isar-keywords.el	Sat Nov 03 18:44:49 2001 +0100
@@ -1,6 +1,6 @@
 ;;
 ;; Keyword classification tables for Isabelle/Isar.
-;; This file was generated by Isabelle/HOL -- DO NOT EDIT!
+;; This file was generated by Isabelle/HOLCF/IOA -- DO NOT EDIT!
 ;;
 ;; $Id$
 ;;
@@ -23,6 +23,7 @@
     "apply_end"
     "arities"
     "assume"
+    "automaton"
     "axclass"
     "axioms"
     "back"
@@ -49,6 +50,7 @@
     "defer_recdef"
     "defs"
     "disable_pr"
+    "domain"
     "done"
     "enable_pr"
     "end"
@@ -166,27 +168,45 @@
     "}"))
 
 (defconst isar-keywords-minor
-  '("and"
+  '("actions"
+    "and"
     "binder"
+    "compose"
     "con_defs"
     "concl"
     "congs"
     "distinct"
     "files"
+    "hide_action"
     "hints"
     "in"
     "induction"
     "infix"
     "infixl"
     "infixr"
+    "initially"
     "inject"
+    "inputs"
+    "internals"
     "intros"
     "is"
+    "lazy"
     "monos"
     "morphisms"
     "output"
+    "outputs"
     "overloaded"
     "permissive"
+    "post"
+    "pre"
+    "rename"
+    "restrict"
+    "signature"
+    "states"
+    "to"
+    "transitions"
+    "transrel"
+    "using"
     "where"))
 
 (defconst isar-keywords-control
@@ -271,6 +291,7 @@
 (defconst isar-keywords-theory-decl
   '("ML_setup"
     "arities"
+    "automaton"
     "axclass"
     "axioms"
     "classes"
@@ -283,6 +304,7 @@
     "defaultsort"
     "defer_recdef"
     "defs"
+    "domain"
     "generate_code"
     "global"
     "hide"