src/HOL/Library/Fun_Lexorder.thy
2014-09-06 haftmann 2014-09-06 theory about lexicographic ordering on functions