src/HOL/ex/Transfer_Ex.thy
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;
2013-06-10 huffman 2013-06-10 more int/nat transfer rules; examples of new untransferred attribute
2011-05-13 krauss 2011-05-13 removed redundant type annotations and duplicate examples
2010-03-10 haftmann 2010-03-10 tuned
2009-09-10 haftmann 2009-09-10 split of test examples from NatTransfer