simplifier uses proper Proof.context instead of historic type simpset;
(* Title: HOL/HOLCF/HOLCF.thy Author: Franz RegensburgerHOLCF -- a semantic extension of HOL by the LCF logic.*)theory HOLCFimports Main Domain Powerdomainsbegindefault_sort "domain"end