removed parrot comment;
authorwenzelm
Tue Jul 04 19:49:57 2006 +0200 (2006-07-04)
changeset 200060f507e799938
parent 20005 3fd6d57b16de
child 20007 8f9e6255108e
removed parrot comment;
src/Pure/library.ML
     1.1 --- a/src/Pure/library.ML	Tue Jul 04 19:49:56 2006 +0200
     1.2 +++ b/src/Pure/library.ML	Tue Jul 04 19:49:57 2006 +0200
     1.3 @@ -1228,9 +1228,6 @@
     1.4  
     1.5  (** misc **)
     1.6  
     1.7 -(* decompose the "problem" x into a list of subproblems ys and a recombination *)
     1.8 -(* function recomb, solve the subproblems recursively, use recomb to combine   *)
     1.9 -(* the recursive solutions for ys into an overall "solution" for x             *)
    1.10  fun divide_and_conquer decomp x =
    1.11    let val (ys, recomb) = decomp x
    1.12    in recomb (map (divide_and_conquer decomp) ys) end;