--- a/src/HOL/IsaMakefile Fri Jan 07 11:06:03 2000 +0100
+++ b/src/HOL/IsaMakefile Mon Jan 10 16:06:43 2000 +0100
@@ -10,7 +10,7 @@
images: HOL HOL-Real TLA
test: HOL-Subst HOL-Induct HOL-IMP HOL-Hoare HOL-Lex HOL-Algebra \
HOL-Auth HOL-UNITY HOL-Modelcheck HOL-Lambda HOL-W0 HOL-MiniML HOL-BCV \
- HOL-IOA HOL-AxClasses-Group HOL-AxClasses-Lattice \
+ HOL-MicroJava HOL-IOA HOL-AxClasses-Group HOL-AxClasses-Lattice \
HOL-AxClasses-Tutorial HOL-Quot HOL-ex HOL-Isar_examples HOL-Real-ex \
HOL-Real-HahnBanach TLA-Inc TLA-Buffer TLA-Memory