src/HOL/NatTransfer.thy
2009-07-28 haftmann 2009-07-28 Set.UNIV and Set.empty are mere abbreviations for top and bot
2009-07-21 haftmann 2009-07-21 UNIV_code now named UNIV_apply
2009-06-17 huffman 2009-06-17 add NatTransfer.thy, needed for new GCD library