clarified NEWS: document_files are officially required since Isabelle2014, but the absence was tolerated as legacy feature;
(* 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