File HOLCF.ML


(*  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;