# HG changeset patch
# User Cezary Kaliszyk <kaliszyk@in.tum.de>
# Date 1269596126 -3600
# Node ID b4e330083383520a88a7ee3eaabcfcc452cf1499
# Parent  a2142526bb01c901667e1a4613446e22ad086c50
Update cheats in TODO.

diff -r a2142526bb01 -r b4e330083383 TODO
--- a/TODO	Fri Mar 26 10:07:26 2010 +0100
+++ b/TODO	Fri Mar 26 10:35:26 2010 +0100
@@ -31,8 +31,7 @@
 - check support equations for more bindings per constructor
 
 - For binding functions that call other binding functions
-  the following are proved with cheat_tac:
-    bn_eqvt, bn_rsp, alpha_bn_rsp, constr_rsp
+  the following are proved with cheat_tac: constr_rsp
 
 - store information about defined nominal datatypes, so that
   it can be used to define new types that depend on these