src/HOL/Library/List_Lexorder.thy
14 months ago nipkow 2018-05-29 canonical names