(* Title: HOLCF/ROOT.ML ID: $Id$ Author: Franz Regensburger HOLCF -- a semantic extension of HOL by the LCF logic. *) no_document use_thy "Nat_Int_Bij"; use_thy "HOLCF";