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.
tuned comments;
authorwenzelm
Sat, 07 Oct 2006 01:31:02 +0200
changeset 20874 1316db481944
parent 20873 4066ee15b278
child 20875 95d24e8d117e
tuned comments;
src/HOL/Tools/function_package/fundef_common.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/function_package/fundef_common.ML	Sat Oct 07 01:31:01 2006 +0200
+++ b/src/HOL/Tools/function_package/fundef_common.ML	Sat Oct 07 01:31:02 2006 +0200
@@ -200,6 +200,7 @@
     val empty = []
     val extend = I
     fun merge _ (l1, l2) = l1 @ l2
+      (* FIXME exponential blowup! cf. Library.merge, Drule.merge_rules *)
     fun print  _ _ = ()
 end);
isabelle