(* Title: HOL/HOLCF/Library/HOL_Cpo.thy Author: Brian Huffman *) section {* 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