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