src/HOLCF/FOCUS/ROOT.ML
author wenzelm
Tue Jul 31 23:23:28 2007 +0200 (2007-07-31)
changeset 24106 f2965bf954dc
parent 16844 60ab395e6da5
child 32960 69916a850301
permissions -rw-r--r--
simultaneous use_thys;
oheimb@11350
     1
(*  Title:      HOLCF/FOCUS/ROOT.ML
wenzelm@11355
     2
    ID:         $Id$
oheimb@11350
     3
    Author: 	David von Oheimb, TU Muenchen
oheimb@11350
     4
oheimb@11350
     5
ROOT file for the FOCUS extension of HOLCF.
oheimb@15039
     6
See README.html for further information.
oheimb@11350
     7
*)
oheimb@11350
     8
wenzelm@24106
     9
use_thys ["Fstreams", "FOCUS", "Buffer_adm"];