(* Title: HOL/HOLCF/Plain_HOLCF.thy
Author: Brian Huffman
*)
section \<open>Plain HOLCF\<close>
theory Plain_HOLCF
imports Cfun Sfun Cprod Sprod Ssum Up Discrete Lift One Tr Fix
begin
text \<open>
Basic HOLCF concepts and types; does not include definition packages.
\<close>
end