changeset 24876 | 81ed46bc0420 |
parent 24866 | 6e6d9e80ebb4 |
child 24904 | 5b59fadfe878 |
1.1 --- a/etc/isar-keywords-ZF.el Sat Oct 06 21:25:58 2007 +0200 1.2 +++ b/etc/isar-keywords-ZF.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/ZF -- DO NOT EDIT! 1.7 +;; This file was generated from FOL + ZF -- DO NOT EDIT! 1.8 ;; 1.9 ;; $Id$ 1.10 ;;