# HG changeset patch
# User paulson
# Date 857553582 -3600
# Node ID 44cbfeebd0feffa5c5a133a3086ac6b454f1f30d
# Parent  df3a269b6f34d60cf3febccee2ad3135356bf760
Added comment

diff -r df3a269b6f34 -r 44cbfeebd0fe src/FOL/ex/cla.ML
--- a/src/FOL/ex/cla.ML	Wed Mar 05 10:08:32 1997 +0100
+++ b/src/FOL/ex/cla.ML	Wed Mar 05 10:19:42 1997 +0100
@@ -531,3 +531,6 @@
 (*Wed Nov 16 1994: loaded in 138s [after addition of norm_term_skip] *)
 (*Mon Nov 21 1994: loaded in 131s [DEPTH_FIRST suppressing repetitions] *)
 
+(*Tue Mar  4 1997: loaded in 93s (on pochard, version 94-7) *)
+(*Tue Mar  4 1997: loaded in 89s (on pochard) *)
+