# HG changeset patch
# User paulson
# Date 1052392202 -7200
# Node ID f254d1c92a6a2c1993e3dd230c24e459d76fbce8
# Parent  4c3a638828b97a51ec30e70b39a8f7194950df9b
removed obsolete references to HOL-Real

diff -r 4c3a638828b9 -r f254d1c92a6a src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Thu May 08 12:52:15 2003 +0200
+++ b/src/HOL/IsaMakefile	Thu May 08 13:10:02 2003 +0200
@@ -661,7 +661,7 @@
 
 clean:
 	@rm -f  $(OUT)/HOL $(OUT)/HOL-Complex $(OUT)/TLA \
-		$(LOG)/HOL.gz $(LOG)/HOL-Real.gz $(LOG)/TLA.gz \
+		$(LOG)/HOL.gz $(LOG)/TLA.gz \
 		$(LOG)/HOL-Isar_examples.gz $(LOG)/HOL-Induct.gz \
 		$(LOG)/HOL-ex.gz $(LOG)/HOL-Subst.gz $(LOG)/HOL-IMP.gz \
 		$(LOG)/HOL-IMPP.gz $(LOG)/HOL-Hoare.gz \
@@ -673,7 +673,8 @@
                 $(LOG)/HOL-Bali.gz $(LOG)/HOL-CTL.gz \
 		$(LOG)/HOL-MicroJava.gz $(LOG)/HOL-NanoJava.gz \
 		$(LOG)/HOL-IOA.gz $(LOG)/HOL-AxClasses \
-		$(LOG)/HOL-Lattice $(LOG)/HOL-Real-ex.gz \
+		$(LOG)/HOL-Lattice \
+		$(LOG)/HOL-Complex.gz \
 		$(LOG)/HOL-Complex-ex.gz \
 		$(LOG)/HOL-Real-HahnBanach.gz $(LOG)/TLA-Inc.gz \
 		$(LOG)/TLA-Buffer.gz $(LOG)/TLA-Memory.gz \