(*  Title:      HOLCF/ROOT.ML
    ID:         $Id: ROOT.ML,v 1.38 2005/07/14 17:28:23 wenzelm Exp $
    Author:     Franz Regensburger

HOLCF -- a semantic extension of HOL by the LCF logic.
*)

val banner = "HOLCF";
writeln banner;

use_thy "HOLCF";
