diff -r 86b04d47b853 -r 64921d1fef15 src/Pure/Isar/rule_cases.ML
--- a/src/Pure/Isar/rule_cases.ML	Thu Mar 09 18:27:18 2000 +0100
+++ b/src/Pure/Isar/rule_cases.ML	Thu Mar 09 22:56:40 2000 +0100
@@ -3,9 +3,6 @@
     Author:     Markus Wenzel, TU Muenchen
 
 Manage local contexts of rules.
-
-TODO:
-  - instantiation of cases (including type vars!);
 *)
 
 signature RULE_CASES =