src/HOL/ex/Transfer_Int_Nat.thy
2016-06-22 wenzelm 2016-06-22 bundle lifting_syntax;
2016-02-17 haftmann 2016-02-17 dropped various legacy fact bindings
2015-12-26 wenzelm 2015-12-26 isabelle update_cartouches -c -t;
2015-11-13 paulson 2015-11-13 Tweaks for "real": Removal of [iff] status for some lemmas, adding [simp] for others. Plus fixes.
2015-10-06 wenzelm 2015-10-06 isabelle update_cartouches;
2015-09-01 wenzelm 2015-09-01 eliminated \<Colon>;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
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