src/HOL/Library/Quotient_List.thy
2010-06-23 ago Replace 'list_rel' by 'list_all2'; they are equivalent.
2010-05-11 ago tuned proof so that no simplifier warning is printed
2010-04-22 ago fun_rel introduction and list_rel elimination for quotient package
2010-04-20 ago respectfullness and preservation of map for identity quotients
2010-04-15 ago Respectfullness and preservation of list_rel
2010-03-14 ago observe standard header format;
2010-02-19 ago Initial version of HOL quotient package.