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