src/HOL/Library/Extended.thy
Tue, 05 Mar 2013 15:26:57 +0100 nipkow New theory of infinity-extended types; should replace Extended_xyz eventually
less more (0) tip