1
(* Title: Pure/Interface/ROOT.ML
2
ID: $Id$
3
4
Miscellaneous interfaces.
5
*)
6
7
use "proof_general.ML";
8
use "isamode.ML";