Theory HOLCF_Prelude

theory HOLCF_Prelude
  imports
    HOLCF_Main
    Type_Classes
    Numeral_Cpo
    Data_Function
    Data_Bool
    Data_Tuple
    Data_Integer
    Data_List
    Data_Maybe
begin
end