src/HOL/Library/Fun_Lexorder.thy
13 months ago nipkow 2018-05-29 canonical names
2016-04-26 wenzelm 2016-04-26 some uses of 'obtain' with structure statement;
2016-04-25 wenzelm 2016-04-25 eliminated old 'def'; tuned comments;
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-09-06 haftmann 2014-09-06 theory about lexicographic ordering on functions