1.1 --- a/src/Tools/isac/CLEANUP	Fri Jan 10 16:24:48 2014 +0100
     1.2 +++ b/src/Tools/isac/CLEANUP	Tue Jan 14 13:03:25 2014 +0100
     1.3 @@ -1,3 +1,6 @@
     1.4 +rm ../../HOL/Library/Poly_Represent/*~
     1.5 +rm ../../HOL/Library/Poly_Represent/*.orig
     1.6 +
     1.7  rm *~
     1.8  rm *.tar*
     1.9  rm *.orig