From 976dcd83aee1757876c8d1aa313d5e00abcf0d52 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Fri, 31 Aug 2001 20:42:30 +0000
Subject: back to *official* Isabelle99-2 (later Isabelle dists will provide  
 their own copy of this file);

---
 isar/isar-keywords.el | 14 ++------------
 1 file changed, 2 insertions(+), 12 deletions(-)

(limited to 'isar/isar-keywords.el')

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"
-- 
cgit v1.2.3