Quot/QuotList.thy
Thu, 21 Jan 2010 19:52:46 +0100 Cezary Kaliszyk Changed fun_map and rel_map to definitions.
Fri, 08 Jan 2010 10:39:08 +0100 Cezary Kaliszyk Modifictaions for new_relation.
Sat, 26 Dec 2009 23:20:46 +0100 Christian Urban corrected wrong [quot_respect] attribute; tuned
less more (0) -10 -3 tip