diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2001-08-31 20:42:30 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2001-08-31 20:42:30 +0000 |
| commit | 976dcd83aee1757876c8d1aa313d5e00abcf0d52 (patch) | |
| tree | 71677b79323f1cc289e3f2339b10375ff849a6f2 /isar/isar-keywords.el | |
| parent | 0ae24ac3267c874ec16f3eabfa2556d5d7ddd7be (diff) | |
back to *official* Isabelle99-2 (later Isabelle dists will provide
their own copy of this file);
Diffstat (limited to 'isar/isar-keywords.el')
| -rw-r--r-- | isar/isar-keywords.el | 14 |
1 files changed, 2 insertions, 12 deletions
diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el index 07dc6c10..780e7d16 100644 --- a/isar/isar-keywords.el +++ b/isar/isar-keywords.el @@ -1,6 +1,6 @@ ;; ;; Keyword classification tables for Isabelle/Isar. -;; This file was generated by Isabelle/HOLCF/IOA -- DO NOT EDIT! +;; This file generated by Isabelle -- DO NOT EDIT! ;; ;; $Id$ ;; @@ -39,7 +39,6 @@ "commit" "constdefs" "consts" - "consts_code" "context" "datatype" "declare" @@ -56,8 +55,6 @@ "finally" "fix" "from" - "full_prf" - "generate_code" "global" "have" "header" @@ -88,7 +85,6 @@ "prefer" "presume" "pretty_setmargin" - "prf" "primrec" "print_antiquotations" "print_ast_translation" @@ -150,7 +146,6 @@ "typedecl" "typedef" "types" - "types_code" "ultimately" "undo" "undos_proof" @@ -227,12 +222,10 @@ "commit" "disable_pr" "enable_pr" - "full_prf" "header" "kill_thy" "pr" "pretty_setmargin" - "prf" "print_antiquotations" "print_attributes" "print_binds" @@ -291,12 +284,10 @@ "coinductive" "constdefs" "consts" - "consts_code" "datatype" "defaultsort" "defer_recdef" "defs" - "generate_code" "global" "hide" "inductive" @@ -323,8 +314,7 @@ "translations" "typed_print_translation" "typedecl" - "types" - "types_code")) + "types")) (defconst isar-keywords-theory-script '("declare" |