cleaner, complete proof in documentation, contributed by Dmitriy T.
(* Title: HOL/HOLCF/Library/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