src/HOL/ex/Transfer_Int_Nat.thy
2014-09-11 haftmann 2014-09-11 abstract product over monoid for lists
2014-06-28 haftmann 2014-06-28 fact consolidation
2014-03-06 blanchet 2014-03-06 renamed 'fun_rel' to 'rel_fun'
2014-03-06 blanchet 2014-03-06 renamed 'set_rel' to 'rel_set'
2013-08-13 kuncar 2013-08-13 remove unnecessary dependencies on Library/Quotient_*
2013-06-10 huffman 2013-06-10 more int/nat transfer rules; examples of new untransferred attribute
2013-05-13 kuncar 2013-05-13 better support for domains in Lifting/Transfer = replace Domainp T by the actual invariant in a transferred goal
2012-04-21 huffman 2012-04-21 new example theory for transfer package