LamEx.thy
2009-12-06 Cezary Kaliszyk Simpler definition code that works with any type maps.
less more (0) -30 -10 -1 tip