src/ZF/Constructible/ROOT.ML

simplified message format: chunks with explicit size in bytes;
robust message header via YXML.binary_text;
standard_message: refer to thread position only;
discontinued obsolete "-" output stream;
tuned;

(*  Title:      ZF/Constructible/ROOT.ML
    ID:         $Id$
    Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
    Copyright   2002  University of Cambridge

Inner Models, Absoluteness and Consistency Proofs
*)

use_thys ["DPow_absolute", "AC_in_L", "Rank_Separation"];