src/HOL/ZF/ROOT.ML

arith method setup: proper context;
turned fast_arith_split/neq_limit into configuration options;
tuned signatures;
misc cleanup;

(*  Title:      HOL/ZF/ROOT.ML
    ID:         $Id$
*)

use_thy "MainZF";
use_thy "Games";