LFex.thy
Sun, 06 Dec 2009 22:57:44 +0100 Cezary Kaliszyk Name changes.
Sun, 06 Dec 2009 06:39:32 +0100 Cezary Kaliszyk Simpler definition code that works with any type maps.
Sun, 06 Dec 2009 00:00:47 +0100 Cezary Kaliszyk Definitions folded first.
less more (0) -30 -10 -3 tip