src/HOL/Library/Quotient_Syntax.thy
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-03-06 blanchet 2014-03-06 renamed 'fun_rel' to 'rel_fun'
2010-11-18 haftmann 2010-11-18 map_fun combinator in theory Fun
2010-03-14 wenzelm 2010-03-14 expose formal text;
2010-02-19 Cezary Kaliszyk 2010-02-19 Initial version of HOL quotient package.