--- a/TODO	Thu Mar 18 11:37:10 2010 +0100
+++ b/TODO	Thu Mar 18 12:09:59 2010 +0100
@@ -3,13 +3,9 @@
 - case names for "weak" induction rules (names of the 
 constructors); see page 61/62 and 170 in Tutorial
 
-- <type>_perm rules should be added to the simplifier;
-  maybe <type>_perm whould be called permute_<type>.simps;
+- maybe <type>_perm whould be called permute_<type>.simps;
   that would conform with the terminology in Nominal2
 
-- <type>_fv / <type>_bn / <type>_distinct should also be 
-  added to the simplifier
-
 
 Bigger things: