src/HOL/ex/MergeSort.thy
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 ***