src/HOLCF/FOCUS/ROOT.ML
author wenzelm
Thu, 14 Jul 2005 19:28:26 +0200
changeset 16844 60ab395e6da5
parent 15188 9d57263faf9e
child 24106 f2965bf954dc
permissions -rw-r--r--
with_path;

(*  Title:      HOLCF/FOCUS/ROOT.ML
    ID:         $Id$
    Author: 	David von Oheimb, TU Muenchen

ROOT file for the FOCUS extension of HOLCF.
See README.html for further information.
*)

val banner = "HOLCF/FOCUS";
writeln banner;

with_path "~~/src/HOLCF/ex" use_thy "Fstreams";
use_thy "FOCUS";
use_thy "Buffer_adm";