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