src/HOL/IsaMakefile
changeset 8177 e59e93ad85eb
parent 8137 fb6fe34060ca
child 8179 6a0b1037bab3
     1.1 --- a/src/HOL/IsaMakefile	Mon Jan 31 16:19:51 2000 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Mon Jan 31 18:30:35 2000 +0100
     1.3 @@ -8,7 +8,7 @@
     1.4  
     1.5  default: HOL
     1.6  images: HOL HOL-Real TLA
     1.7 -test: HOL-Subst HOL-Induct HOL-IMP HOL-Hoare HOL-Lex HOL-Algebra \
     1.8 +test: HOL-Subst HOL-Induct HOL-IMP HOL-IMPP HOL-Hoare HOL-Lex HOL-Algebra \
     1.9    HOL-Auth HOL-UNITY HOL-Modelcheck HOL-Lambda HOL-W0 HOL-MiniML HOL-BCV \
    1.10    HOL-MicroJava HOL-IOA HOL-AxClasses-Group HOL-AxClasses-Lattice \
    1.11    HOL-AxClasses-Tutorial HOL-Quot HOL-ex HOL-Isar_examples HOL-Real-ex \