src/Pure/Thy/ROOT.ML

isar: no_pos flag;

(*  Title:      Pure/Thy/ROOT.ML
    ID:         $Id$

Theory system operations.
*)

(*theory auto loader database*)
use "thy_load.ML";
use "thy_info.ML";

(*theory presentation*)
use "html.ML";
use "browser_info.ML";
use "present.ML";
use "thm_database.ML";

(*theory syntax (old format)*)
use "thy_scan.ML";
use "thy_parse.ML";
use "thy_syn.ML";