src/Provers/classical.ML

--- a/src/Provers/classical.ML	Wed Apr 14 11:24:09 1999 +0200
+++ b/src/Provers/classical.ML	Wed Apr 14 11:32:50 1999 +0200
@@ -12,10 +12,6 @@
 For a rule to be safe, its premises and conclusion should be logically
 equivalent.  There should be no variables in the premises that are not in
 the conclusion.
-
-TODO:
-  - only BASIC_CLASSICAL made pervasive;
-  - fix global claset data;
 *)
 
 (*higher precedence than := facilitates use of references*)