doc-src/TutorialI/todo.tobias

--- a/doc-src/TutorialI/todo.tobias	Wed Mar 14 17:38:49 2001 +0100
+++ b/doc-src/TutorialI/todo.tobias	Wed Mar 14 18:40:01 2001 +0100
@@ -57,8 +57,6 @@
 
 Advanced recdef: explain recdef_tc?
 
-warning: simp of asms from l to r; may require reordering (rotate_tac)
-
 Adjust FP textbook refs: new Bird, Hudak
 Discrete math textbook: Rosen?