--- 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 =