2010-06-24 Christian Urban 2010-06-24 export of proper information in the ML-interface of the quotient package
2010-05-26 haftmann 2010-05-26 normalized references to constant "split"
2010-05-05 haftmann 2010-05-05 farewell to old-style mem infixes -- type inference in situations with mem_int and mem_string should provide enough information to resolve the type of (op =)
2010-03-27 Cezary Kaliszyk 2010-03-27 Automated lifting can be restricted to specific quotient types
2010-03-19 Cezary Kaliszyk 2010-03-19 Check that argument is not a 'Bound' before calling fastype_of.
2010-03-14 wenzelm 2010-03-14 observe standard header format;
2010-02-27 wenzelm 2010-02-27 clarified @{const_name} vs. @{const_abbrev};
2010-02-19 Cezary Kaliszyk 2010-02-19 Initial version of HOL quotient package.