use deflations over type 'udom u' to represent predomains;
removed now-unnecessary class liftdomain;
(* Title: HOLCF/HOL_Cpo.thy
Author: Brian Huffman
*)
header {* Cpo class instances for all HOL types *}
theory HOL_Cpo
imports
Bool_Discrete
Nat_Discrete
Int_Discrete
Char_Discrete
Sum_Cpo
Option_Cpo
List_Predomain
begin
end