src/FOL/ex/cla.ML
changeset 1651 ab0da8a9ae3e
parent 1560 9d001e5f43d8
child 1809 8cb50df49570
--- a/src/FOL/ex/cla.ML	Thu Apr 04 18:01:47 1996 +0200
+++ b/src/FOL/ex/cla.ML	Thu Apr 04 18:18:08 1996 +0200
@@ -313,7 +313,6 @@
 \       ((EX x y. Q(x,y)) --> (ALL x. R(x,x)))  \
 \   --> (ALL x. EX y. R(x,y))";
 by (fast_tac FOL_cs 1);
-(*slow...Poly/ML: 9.7 secs*)
 result();
 
 writeln"Problem 38";