src/HOLCF/Plain_HOLCF.thy
2010-11-10 huffman 2010-11-10 move map functions to new theory file Map_Functions; add theory file Plain_HOLCF