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.
fixed comment-out;
authorwenzelm
Wed, 13 Jul 2005 14:56:00 +0200
changeset 16793 51600bfac176
parent 16792 e6ba3819e404
child 16794 12d00dab5301
fixed comment-out;
src/Pure/term.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/term.ML	Wed Jul 13 12:24:39 2005 +0200
+++ b/src/Pure/term.ML	Wed Jul 13 14:56:00 2005 +0200
@@ -1246,7 +1246,7 @@
 val add_frees =
   let fun add_frees' (Free v) = insert (op =) v
          | add_frees' _ = I
-  in uncurry (fold_aterms add_frees') o swap end;*)
+  in uncurry (fold_aterms add_frees') o swap end;
 
 (*collect variable names*)
 val add_term_varnames =
isabelle