(*  Title:       ROOT.ML
    Author:      Jacques D. Fleuriot
    Copyright    1998  University of Cambridge
    Description: All theories up to sequences
*)

time_use_thy "RealDef";
use          "simproc.ML";
time_use_thy "Real";
time_use_thy "Filter";
time_use_thy "SEQ";