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$
 ;;