(* Title: HOL/HOLCF/Library/HOL_Cpo.thy Author: Brian Huffman *) section \<open>Cpo class instances for all HOL types\<close> theory HOL_Cpo imports Bool_Discrete Nat_Discrete Int_Discrete Char_Discrete Sum_Cpo Option_Cpo List_Predomain begin end