(* 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. *) use_thys ["Fstreams", "FOCUS", "Buffer_adm"];