(* Title: Pure/Interface/ROOT.ML ID: $Id$ Miscellaneous interfaces. *) use "proof_general.ML"; use "isamode.ML";