src/HOL/ex/Transfer_Int_Nat.thy
2012-04-21 huffman 2012-04-21 new example theory for transfer package