(* Title: HOLCF/HOLCF.ML ID: $Id: HOLCF.ML,v 1.16 2005/07/14 17:28:23 wenzelm Exp $ *) structure HOLCF = struct val thy = the_context (); end;