src/HOLCF/FOCUS/ROOT.ML

simplify profinite class axioms

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