# HG changeset patch
# User wenzelm
# Date 924082370 -7200
# Node ID 037f3446e9e5e9a465f07552c8d8d314d0e16e62
# Parent  c4072604378ecff7e1f5e1af0dc19e1fa707a30d
cleaned comments;

diff -r c4072604378e -r 037f3446e9e5 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*)