--- a/etc/isar-keywords-ZF.el Sat Mar 29 19:14:03 2008 +0100
+++ b/etc/isar-keywords-ZF.el Sat Mar 29 19:14:03 2008 +0100
@@ -12,7 +12,6 @@
"Isabelle\\.command"
"ML"
"ML_command"
- "ML_setup"
"ML_val"
"ProofGeneral\\.inform_file_processed"
"ProofGeneral\\.inform_file_retracted"
@@ -266,8 +265,7 @@
"undos_proof"))
(defconst isar-keywords-diag
- '("ML"
- "ML_command"
+ '("ML_command"
"ML_val"
"cd"
"class_deps"
@@ -321,7 +319,6 @@
"touch_thy"
"typ"
"unused_thms"
- "use"
"use_thy"
"value"
"welcome"))
@@ -342,7 +339,7 @@
"subsubsection"))
(defconst isar-keywords-theory-decl
- '("ML_setup"
+ '("ML"
"abbreviation"
"arities"
"axclass"
@@ -405,7 +402,8 @@
"typed_print_translation"
"typedecl"
"types"
- "types_code"))
+ "types_code"
+ "use"))
(defconst isar-keywords-theory-script
'("inductive_cases"))