LFex.thy
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.
Sat, 05 Dec 2009 22:02:32 +0100 Christian Urban simplified inj_repabs_trm
less more (0) -30 -10 -3 tip