unique_names no longer set to false (thanks to improved naming
scheme for "internal" constructors).
(* 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_thy "DPow_absolute";
use_thy "AC_in_L";
use_thy "Rank_Separation";