2 ID: $Id$
3
4 Specific support for user-interfaces.
5 *)
6
7 use "isamode.ML";
8 use "proof_general.ML";
7 use "proof_general.ML";