diff -r ba3f6e33d647 -r 23f81992da8f TODO
--- a/TODO	Sat Mar 27 09:56:35 2010 +0100
+++ b/TODO	Sat Mar 27 12:01:28 2010 +0100
@@ -42,3 +42,7 @@
 
 - fv_rsp uses 'blast' to show goals of the type:
   a u b = c u d   ==>  a u x u b = c u x u d
+
+When cleaning:
+
+- remove all 'PolyML.makestring'.
\ No newline at end of file