src/Pure/Interface/ROOT.ML

cast_ok and match_exception_entry no longer disabled (thanks to
improvement of code generator).

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

Specific support for user-interfaces.
*)

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