# HG changeset patch
# User wenzelm
# Date 1191701171 -7200
# Node ID 81ed46bc04203f3ec327cff88e3728ec3291a3d0
# Parent  8e6ca75bf5aab3138c249dfd8d5b5617efdc2c59
updated;

diff -r 8e6ca75bf5aa -r 81ed46bc0420 etc/isar-keywords-HOL-Nominal.el
--- a/etc/isar-keywords-HOL-Nominal.el	Sat Oct 06 21:25:58 2007 +0200
+++ b/etc/isar-keywords-HOL-Nominal.el	Sat Oct 06 22:06:11 2007 +0200
@@ -1,6 +1,6 @@
 ;;
 ;; Keyword classification tables for Isabelle/Isar.
-;; This file was generated by Isabelle/HOL/HOL-Nominal -- DO NOT EDIT!
+;; This file was generated from HOL + HOL-Nominal -- DO NOT EDIT!
 ;;
 ;; $Id$
 ;;
diff -r 8e6ca75bf5aa -r 81ed46bc0420 etc/isar-keywords-ZF.el
--- a/etc/isar-keywords-ZF.el	Sat Oct 06 21:25:58 2007 +0200
+++ b/etc/isar-keywords-ZF.el	Sat Oct 06 22:06:11 2007 +0200
@@ -1,6 +1,6 @@
 ;;
 ;; Keyword classification tables for Isabelle/Isar.
-;; This file was generated by Isabelle/ZF -- DO NOT EDIT!
+;; This file was generated from FOL + ZF -- DO NOT EDIT!
 ;;
 ;; $Id$
 ;;
diff -r 8e6ca75bf5aa -r 81ed46bc0420 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Sat Oct 06 21:25:58 2007 +0200
+++ b/etc/isar-keywords.el	Sat Oct 06 22:06:11 2007 +0200
@@ -1,6 +1,6 @@
 ;;
 ;; Keyword classification tables for Isabelle/Isar.
-;; This file was generated by Isabelle/HOLCF/IOA -- DO NOT EDIT!
+;; This file was generated from HOL + HOLCF + IOA -- DO NOT EDIT!
 ;;
 ;; $Id$
 ;;