src/HOL/ex/MergeSort.thy
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
2010-05-22 haftmann 2010-05-22 modernized sorting algorithms; quicksort implements sort
2009-12-10 paulson 2009-12-10 streamlined proofs
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2009-03-23 haftmann 2009-03-23 tuned header
2009-02-03 krauss 2009-02-03 mergesort example: recdef->fun, localized
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 ***