doc-src/System/Thy/ROOT.ML

moved METAHYPS to old_goals.ML (cf. SUBPROOF and FOCUS in subgoal.ML for properly localized versions of the same idea);

set ThyOutput.source;
use "../../antiquote_setup.ML";

use_thy "Basics";
use_thy "Interfaces";
use_thy "Presentation";
use_thy "Misc";