diff -r 03f096efa26d -r 1a60df4fd63d src/Tools/make-all
--- a/src/Tools/make-all	Wed Feb 07 12:22:32 1996 +0100
+++ b/src/Tools/make-all	Wed Feb 07 13:36:56 1996 +0100
@@ -54,7 +54,11 @@
 echo Log files will be called make$$.log.gz
 
 case $FORCE.$EXEC in
-    on.on) (cd $ISABELLEBIN; rm -f Pure FOL ZF CCL LCF CTT LK Modal HOL HOLCF Cube FOLP)
+  on.on) (cd $ISABELLEBIN;
+          for f in Pure FOL ZF CCL LCF CTT LK Modal HOL HOLCF Cube FOLP
+	  do 
+	   rm -f $f $f.heap
+	  done)
 esac
 
 set +e			#no longer fail upon errors -- e.g. if a "make" fails
@@ -81,7 +85,7 @@
 tail ZF/make$$.log
 gzip ZF/make$$.log
 case $CLEAN.$EXEC in
-    on.on)	rm $ISABELLEBIN/ZF
+    on.on)	rm -f $ISABELLEBIN/ZF $ISABELLEBIN/ZF.heap
 esac
 
 echo
@@ -91,7 +95,7 @@
 tail CCL/make$$.log
 gzip CCL/make$$.log
 case $CLEAN.$EXEC in
-    on.on)	rm $ISABELLEBIN/CCL
+    on.on)	rm -f $ISABELLEBIN/CCL $ISABELLEBIN/CCL.heap
 esac
 
 echo
@@ -101,7 +105,8 @@
 tail LCF/make$$.log
 gzip LCF/make$$.log
 case $CLEAN.$EXEC in
-    on.on)	rm $ISABELLEBIN/FOL $ISABELLEBIN/LCF
+  on.on)	rm -f $ISABELLEBIN/FOL $ISABELLEBIN/FOL.heap \
+                      $ISABELLEBIN/LCF $ISABELLEBIN/LCF.heap
 esac
 
 echo
@@ -111,7 +116,7 @@
 tail CTT/make$$.log
 gzip CTT/make$$.log
 case $CLEAN.$EXEC in
-    on.on)	rm $ISABELLEBIN/CTT
+    on.on)	rm -f $ISABELLEBIN/CTT $ISABELLEBIN/CTT.heap
 esac
 
 echo
@@ -129,7 +134,8 @@
 tail Modal/make$$.log
 gzip Modal/make$$.log
 case $CLEAN.$EXEC in
-    on.on)	rm $ISABELLEBIN/LK $ISABELLEBIN/Modal
+  on.on)	rm -f $ISABELLEBIN/LK $ISABELLEBIN/LK.heap \
+                      $ISABELLEBIN/Modal $ISABELLEBIN/Modal.heap
 esac
 
 echo
@@ -147,7 +153,8 @@
 tail HOLCF/make$$.log
 gzip HOLCF/make$$.log
 case $CLEAN.$EXEC in
-    on.on)	rm $ISABELLEBIN/HOL $ISABELLEBIN/HOLCF
+  on.on)	rm -f $ISABELLEBIN/HOL $ISABELLEBIN/HOL.heap \
+                      $ISABELLEBIN/HOLCF $ISABELLEBIN/HOLCF.heap
 esac
 
 echo
@@ -155,7 +162,7 @@
 echo '*****The Lambda-Cube (Cube)*****'
 (cd Cube;  make $NO $TEST > make$$.log)
 case $CLEAN.$EXEC in
-    on.on)	rm $ISABELLEBIN/Cube
+    on.on)	rm -f $ISABELLEBIN/Cube $ISABELLEBIN/Cube.heap
 esac
 tail Cube/make$$.log 
 gzip Cube/make$$.log 
@@ -165,7 +172,7 @@
 echo '*****First-Order Logic with Proof Terms (FOLP)*****'
 (cd FOLP;  make $NO $TEST > make$$.log)
 case $CLEAN.$EXEC in
-    on.on)	rm $ISABELLEBIN/FOLP
+    on.on)	rm -f $ISABELLEBIN/FOLP $ISABELLEBIN/FOLP.heap
 esac
 tail FOLP/make$$.log 
 gzip FOLP/make$$.log