diff -r d59fe4579004 -r 7914990748ad lib/Tools/makeall
--- a/lib/Tools/makeall	Mon Oct 20 15:20:20 1997 +0200
+++ b/lib/Tools/makeall	Mon Oct 20 15:20:42 1997 +0200
@@ -61,7 +61,7 @@
 
 case $FORCE.$EXEC in
   on.on) (cd $ISABELLE_OUTPUT;
-          for f in Pure FOL ZF CCL LCF CTT Sequents HOL HOLCF Cube FOLP
+          for f in Pure FOL ZF CCL LCF CTT Sequents HOL HOLCF Cube FOLP IOA TLA
 	  do 
 	   rm -f $f
 	  done)