Quot/Examples/LarryInt.thy
Thu, 21 Jan 2010 19:52:46 +0100 Cezary Kaliszyk Changed fun_map and rel_map to definitions.
Fri, 01 Jan 2010 23:59:32 +0100 Christian Urban tuned
Sat, 26 Dec 2009 07:15:30 +0100 Christian Urban generalised absrep function; needs consolidation
less more (0) -3 tip