move map functions to new theory file Map_Functions; add theory file Plain_HOLCF
(* Title: HOLCF/Plain_HOLCF.thy Author: Brian Huffman*)header {* Plain HOLCF *}theory Plain_HOLCFimports Cfun Cprod Sprod Ssum Up Discrete Lift One Tr Fixbegintext {* Basic HOLCF concepts and types; does not include definition packages.*}end