| changeset 10212 | 33fe2d701ddd |
| parent 10189 | 865918597b63 |
| child 10217 | e61e7e1eacaf |
--- a/doc-src/TutorialI/todo.tobias Thu Oct 12 18:09:06 2000 +0200 +++ b/doc-src/TutorialI/todo.tobias Thu Oct 12 18:38:23 2000 +0200 @@ -15,8 +15,6 @@ swap in classical.ML has ugly name Pa in it. Rename. -list of ^*/^+ intro rules. Incl transitivity? - Induction rules for int: int_le/ge_induct? Needed for ifak example. But is that example worth it?