src/HOL/Transfer.thy
2012-04-03 huffman 2012-04-03 new transfer proof method