(* 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