src/Pure/Interface/ROOT.ML

reorganization of HOL/UNITY, moving examples to subdirectories Simple and Comp

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

Miscellaneous interfaces.
*)

use "proof_general.ML";
use "isamode.ML";