src/HOL/IsaMakefile
changeset 8115 c802042066e8
parent 8050 ad6440cd84be
child 8137 fb6fe34060ca
     1.1 --- a/src/HOL/IsaMakefile	Fri Jan 07 11:06:03 2000 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Mon Jan 10 16:06:43 2000 +0100
     1.3 @@ -10,7 +10,7 @@
     1.4  images: HOL HOL-Real TLA
     1.5  test: HOL-Subst HOL-Induct HOL-IMP HOL-Hoare HOL-Lex HOL-Algebra \
     1.6    HOL-Auth HOL-UNITY HOL-Modelcheck HOL-Lambda HOL-W0 HOL-MiniML HOL-BCV \
     1.7 -  HOL-IOA HOL-AxClasses-Group HOL-AxClasses-Lattice \
     1.8 +  HOL-MicroJava HOL-IOA HOL-AxClasses-Group HOL-AxClasses-Lattice \
     1.9    HOL-AxClasses-Tutorial HOL-Quot HOL-ex HOL-Isar_examples HOL-Real-ex \
    1.10    HOL-Real-HahnBanach TLA-Inc TLA-Buffer TLA-Memory
    1.11