1.1 --- a/Admin/update-keywords	Thu Mar 15 22:08:53 2012 +0100
     1.2 +++ b/Admin/update-keywords	Thu Mar 15 22:20:07 2012 +0100
     1.3 @@ -13,7 +13,7 @@
     1.4  isabelle keywords \
     1.5    "$LOG/Pure.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/HOL-Boogie.gz" \
     1.6    "$LOG/HOL-Library.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz" \
     1.7 -  "$LOG/HOL-SPARK.gz"
     1.8 +  "$LOG/HOL-SPARK.gz" "$LOG/HOL-TPTP.gz"
     1.9  
    1.10  isabelle keywords -k ZF \
    1.11    "$LOG/Pure.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"