QuotTest.thy
2009-11-05 Christian Urban removed typing information from get_fun in quotient_def; *potentially* dangerous
2009-11-05 Cezary Kaliszyk Infrastructure for polymorphic types
2009-11-04 Cezary Kaliszyk Two new tests for get_fun. Second one fails.
2009-11-02 Christian Urban fixed the problem with types in map
2009-10-28 Christian Urban ported all constant definitions to new scheme
2009-10-25 Christian Urban added code for declaring map-functions
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