huffman@40502: (* Title: HOLCF/Plain_HOLCF.thy
huffman@40502: Author: Brian Huffman
huffman@40502: *)
huffman@40502:
huffman@40502: header {* Plain HOLCF *}
huffman@40502:
huffman@40502: theory Plain_HOLCF
huffman@40592: imports Cfun Sfun Cprod Sprod Ssum Up Discrete Lift One Tr Fix
huffman@40502: begin
huffman@40502:
huffman@40502: text {*
huffman@40502: Basic HOLCF concepts and types; does not include definition packages.
huffman@40502: *}
huffman@40502:
huffman@40502: end