include HOL-Library keywords for the sake of recdef;
authorwenzelm
Tue Aug 16 23:39:30 2011 +0200 (2011-08-16)
changeset 44231f9799971ca97
parent 44230 47e6986336f5
child 44232 d5f689c534c5
include HOL-Library keywords for the sake of recdef;
Admin/update-keywords
etc/isar-keywords.el
     1.1 --- a/Admin/update-keywords	Tue Aug 16 23:25:02 2011 +0200
     1.2 +++ b/Admin/update-keywords	Tue Aug 16 23:39:30 2011 +0200
     1.3 @@ -12,7 +12,8 @@
     1.4  
     1.5  isabelle keywords \
     1.6    "$LOG/Pure.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/HOL-Boogie.gz" \
     1.7 -  "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz" "$LOG/HOL-SPARK.gz"
     1.8 +  "$LOG/HOL-Library.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz" \
     1.9 +  "$LOG/HOL-SPARK.gz"
    1.10  
    1.11  isabelle keywords -k ZF \
    1.12    "$LOG/Pure.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"
     2.1 --- a/etc/isar-keywords.el	Tue Aug 16 23:25:02 2011 +0200
     2.2 +++ b/etc/isar-keywords.el	Tue Aug 16 23:39:30 2011 +0200
     2.3 @@ -1,6 +1,6 @@
     2.4  ;;
     2.5  ;; Keyword classification tables for Isabelle/Isar.
     2.6 -;; Generated from Pure + HOL + HOLCF + HOL-Boogie + HOL-Nominal + HOL-Statespace + HOL-SPARK.
     2.7 +;; Generated from Pure + HOL + HOLCF + HOL-Boogie + HOL-Library + HOL-Nominal + HOL-Statespace + HOL-SPARK.
     2.8  ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
     2.9  ;;
    2.10