src/HOLCF/FOCUS/FOCUS.thy

converted to Isar theory format;

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

header {* Top level of FOCUS *}

theory FOCUS
imports Fstream
begin

end