src/HOL/ex/MergeSort.thy
2006-06-13 dixon 2006-06-13 corrected w.r.t. search order for subst.
2006-06-12 wenzelm 2006-06-12 fixed subst step;
2005-04-22 paulson 2005-04-22 tidied
2005-04-14 nipkow 2005-04-14 Added thm names
2005-03-26 kleing 2005-03-26 use Library/Multiset instead of own definition
2002-06-03 nipkow 2002-06-03 *** empty log message ***