more specific hardware information: relevant for ultimate Mac OS X version;
(* 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