1.1 --- a/etc/isar-keywords-HOL-Nominal.el	Sat Oct 06 21:25:58 2007 +0200
     1.2 +++ b/etc/isar-keywords-HOL-Nominal.el	Sat Oct 06 22:06:11 2007 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  ;;
     1.5  ;; Keyword classification tables for Isabelle/Isar.
     1.6 -;; This file was generated by Isabelle/HOL/HOL-Nominal -- DO NOT EDIT!
     1.7 +;; This file was generated from HOL + HOL-Nominal -- DO NOT EDIT!
     1.8  ;;
     1.9  ;; $Id$
    1.10  ;;

     2.1 --- a/etc/isar-keywords-ZF.el	Sat Oct 06 21:25:58 2007 +0200
     2.2 +++ b/etc/isar-keywords-ZF.el	Sat Oct 06 22:06:11 2007 +0200
     2.3 @@ -1,6 +1,6 @@
     2.4  ;;
     2.5  ;; Keyword classification tables for Isabelle/Isar.
     2.6 -;; This file was generated by Isabelle/ZF -- DO NOT EDIT!
     2.7 +;; This file was generated from FOL + ZF -- DO NOT EDIT!
     2.8  ;;
     2.9  ;; $Id$
    2.10  ;;

     3.1 --- a/etc/isar-keywords.el	Sat Oct 06 21:25:58 2007 +0200
     3.2 +++ b/etc/isar-keywords.el	Sat Oct 06 22:06:11 2007 +0200
     3.3 @@ -1,6 +1,6 @@
     3.4  ;;
     3.5  ;; Keyword classification tables for Isabelle/Isar.
     3.6 -;; This file was generated by Isabelle/HOLCF/IOA -- DO NOT EDIT!
     3.7 +;; This file was generated from HOL + HOLCF + IOA -- DO NOT EDIT!
     3.8  ;;
     3.9  ;; $Id$
    3.10  ;;