changeset 24876 | 81ed46bc0420 |
parent 24866 | 6e6d9e80ebb4 |
--- 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$ ;;