src/HOL/Typedef.thy
Thu, 27 Sep 2001 22:26:00 +0200 wenzelm renamed theory "subset" to "Typedef";
less more (0) tip