LFex.thy
2009-12-06 Cezary Kaliszyk Simpler definition code that works with any type maps.
2009-12-05 Cezary Kaliszyk Definitions folded first.
2009-12-05 Christian Urban simplified inj_repabs_trm
2009-12-04 Cezary Kaliszyk more name cleaning and removing
less more (0) -30 -10 -4 tip