src/HOLCF/NatIso.thy
2008-12-03 haftmann 2008-12-03 made repository layout more coherent with logical distribution structure; stripped some $Id$s
2008-07-01 huffman 2008-07-01 isomorphisms between naturals and sums, products, and finite sets