--- a/src/HOL/IsaMakefile Sat May 29 15:09:47 2004 +0200
+++ b/src/HOL/IsaMakefile Sat May 29 15:10:30 2004 +0200
@@ -7,6 +7,7 @@
## targets
default: HOL
+generate: HOL-Complex-Generate-HOL
images: HOL HOL-Algebra HOL-Complex TLA HOL4
#Note: keep targets sorted (except for HOL-Library)