diff -r 9f927860d907 -r 0959e61a3f3f src/Tools/isac/Doc/README
--- a/src/Tools/isac/Doc/README	Sun Apr 04 12:29:42 2021 +0200
+++ b/src/Tools/isac/Doc/README	Sun Apr 04 13:31:04 2021 +0200
@@ -4,4 +4,4 @@
 /usr/local/isabisac/bin/isabelle build -D .
  
 In case nothing happens with the above command, go
-~/.isabelle/isabisac/heaps/polyml-5.8_x86_64_32-linux/log$ rm Lucas_Interpreter*
+~/.isabelle/isabisac/heaps/polyml-5.8_x86_64_32-linux/log$ rm Interpret*