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