QuotTest.thy
2009-11-11 Cezary Kaliszyk Removed 'Toplevel.program' for polyml 5.3
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
less more (0) -3 tip