src/HOL/Library/List_lexord.thy
Fri, 15 Apr 2005 14:14:24 +0200 nipkow New
less more (0) tip