src/HOL/Product_Type.thy
Thu, 01 Feb 2001 20:51:48 +0100 oheimb converted to Isar therory, adding attributes complete_split and split_format
Mon, 23 Oct 2000 11:14:00 +0200 wenzelm tuned deps;
Thu, 12 Oct 2000 18:44:35 +0200 nipkow *** empty log message ***
less more (0) tip