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