src/HOL/ex/Bubblesort.thy
2015-06-19 nipkow 2015-06-19 renamed multiset_of -> mset
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-10-10 nipkow 2014-10-10 New example Bubblesort