src/HOLCF/FOCUS/ROOT.ML

Merged in license change from Isabelle2004

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

ROOT file for the FOCUS extension of HOLCF.
*)

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

use_thy "FOCUS";
use_thy "Buffer_adm";