src/HOL/ex/Quicksort.thy
2016-02-26 haftmann 2016-02-26 more succint formulation of membership for multisets, similar to lists; discontinued ASCII notation for multiset membership; more theorems on multisets, dropping redundant interpretation; modernized notation; some annotations concerning future work
2015-10-06 wenzelm 2015-10-06 isabelle update_cartouches;
2015-06-19 nipkow 2015-06-19 renamed multiset_of -> mset
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2011-08-30 wenzelm 2011-08-30 tuned import; discontinued obsolete Sorting.thy (cf. 4d57f872dc2c);
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
2010-11-03 haftmann 2010-11-03 moved theory Quicksort from Library/ to ex/