Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added comment
authorpaulson
Wed, 05 Mar 1997 10:19:42 +0100
changeset 2729 44cbfeebd0fe
parent 2728 df3a269b6f34
child 2730 865995b744f5
Added comment
src/FOL/ex/cla.ML file | annotate | diff | comparison | revisions 
--- 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) *)
+
isabelle