QuotTest.thy
2009-10-24 Christian Urban changed the definitions of liftet constants to use fun_maps
2009-10-24 Christian Urban changed encoding from utf8 to ISO8 (needed to work with xemacs)
2009-10-23 Cezary Kaliszyk Split Finite Set example into separate file
less more (0) tip