src/HOL/Library/Quotient_Type.thy
8 months ago wenzelm 2019-01-04 isabelle update -u control_cartouches;
2015-11-05 wenzelm 2015-11-05 isabelle update_cartouches -c -t;
2015-09-24 wenzelm 2015-09-24 explicit indication of overloaded typedefs;
2014-12-28 wenzelm 2014-12-28 modernized historic example;
2014-11-02 wenzelm 2014-11-02 modernized header;
2012-10-12 wenzelm 2012-10-12 discontinued obsolete typedef (open) syntax;
2011-11-30 wenzelm 2011-11-30 prefer typedef without extra definition and alternative name; tuned proofs;
2010-02-10 wenzelm 2010-02-10 renamed Library/Quotient.thy to Library/Quotient_Type.thy to avoid clash with new theory Quotient in Main HOL;