--- a/INSTALL Mon May 12 19:54:43 2003 +0200
+++ b/INSTALL Tue May 13 08:59:21 2003 +0200
@@ -65,7 +65,7 @@
Special object-logic targets may be specified as follows:
- [ISABELLE_HOME]/build -m HOL-Real HOL
+ [ISABELLE_HOME]/build -m HOL-Complex HOL
2) User installation