# HG changeset patch
# User wenzelm
# Date 877353642 -7200
# Node ID 7914990748addf9433eb1dd147427a40dc376d55
# Parent  d59fe45790049564c371a99e6d3ed99aec89eb30
rm IOA TLA;

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)