[clean-list] Hamming

Erik Zuurbier erik.zuurbier at planet.nl
Fri Feb 19 23:06:26 MET 2010

Previous message: [clean-list] Special issue of the Journal of Symbolic Computation on First Order Theorem Proving
Next message: [clean-list] HLDVT 2010 Final Call for Papers
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Never mind. A global y picks up the library functional merge, i.s.o. The locally defined merge, which DOES retain duplicates. Sorry about the fuss.

Previous message: [clean-list] Special issue of the Journal of Symbolic Computation on First Order Theorem Proving
Next message: [clean-list] HLDVT 2010 Final Call for Papers
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the clean-list mailing list