LamEx.thy
Sun, 06 Dec 2009 06:41:52 +0100 Cezary Kaliszyk merge
Sun, 06 Dec 2009 06:39:32 +0100 Cezary Kaliszyk Simpler definition code that works with any type maps.
Sun, 06 Dec 2009 01:43:46 +0100 Christian Urban added more to IntEx2
Sun, 06 Dec 2009 00:00:47 +0100 Cezary Kaliszyk Definitions folded first.
less more (0) -30 -10 -4 tip