--- 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"