# HG changeset patch
# User wenzelm
# Date 1152035397 -7200
# Node ID 0f507e799938dbfbd82aff17f5c815a447cb901d
# Parent  3fd6d57b16dee1a29173acaec74f31a0345c83df
removed parrot comment;

diff -r 3fd6d57b16de -r 0f507e799938 src/Pure/library.ML
--- a/src/Pure/library.ML	Tue Jul 04 19:49:56 2006 +0200
+++ b/src/Pure/library.ML	Tue Jul 04 19:49:57 2006 +0200
@@ -1228,9 +1228,6 @@
 
 (** misc **)
 
-(* decompose the "problem" x into a list of subproblems ys and a recombination *)
-(* function recomb, solve the subproblems recursively, use recomb to combine   *)
-(* the recursive solutions for ys into an overall "solution" for x             *)
 fun divide_and_conquer decomp x =
   let val (ys, recomb) = decomp x
   in recomb (map (divide_and_conquer decomp) ys) end;