(* Title: ZF/Constructible/ROOT.ML ID: $Id$ Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 2002 University of CambridgeInner Models, Absoluteness and Consistency Proofs*)use_thy "DPow_absolute";use_thy "AC_in_L";use_thy "Rank_Separation";