src/HOL/Transfer.thy
Tue, 03 Apr 2012 22:31:00 +0200 huffman new transfer proof method
less more (0) tip