src/HOL/ex/Transfer_Int_Nat.thy
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