etc/isar-keywords.el
changeset 52439 4cf3f6153eb8
parent 52438 7b5a5116f3af
child 52442 d3c5195b7399
     1.1 --- a/etc/isar-keywords.el	Mon Jun 24 17:17:17 2013 +0200
     1.2 +++ b/etc/isar-keywords.el	Mon Jun 24 23:33:14 2013 +0200
     1.3 @@ -1,6 +1,5 @@
     1.4  ;;
     1.5 -;; Keyword classification tables for Isabelle/Isar.
     1.6 -;; Generated from HOLCF + HOL-BNF + HOL-Boogie + HOL-Library + HOL-Nominal + HOL-Statespace + HOL-SPARK + HOL-TPTP + HOL-Import.
     1.7 +;; Generated keyword classification tables for Isabelle/Isar.
     1.8  ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
     1.9  ;;
    1.10