src/HOL/Enum.thy
Mon, 22 Nov 2010 11:35:07 +0100 bulwahn hiding the constants
Mon, 22 Nov 2010 11:34:58 +0100 bulwahn adding code equations for EX1 on finite types
Mon, 22 Nov 2010 11:34:57 +0100 bulwahn adding code equation for function equality; adding some instantiations for the finite types
Mon, 22 Nov 2010 11:34:56 +0100 bulwahn adding Enum to HOL-Main image and removing it from HOL-Library
Mon, 22 Nov 2010 11:34:55 +0100 bulwahn moving Enum theory from HOL/Library to HOL
less more (0) tip