src/HOL/Library/List_lexord.thy
2005-04-15 nipkow 2005-04-15 New