src/HOLCF/Plain_HOLCF.thy
Wed, 10 Nov 2010 17:56:08 -0800 huffman move map functions to new theory file Map_Functions; add theory file Plain_HOLCF
less more (0) tip