discontinued special treatment of structure Ast: no pervasive content, no inclusion in structure Syntax;
(* 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