src/HOL/ZF/ROOT.ML

included managing_thread in state of AtpManager:
synchronized termination and check for running managing_thread

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

use_thy "MainZF";
use_thy "Games";