(* Title: ZF/Constructible/ROOT.ML ID: $Id$ Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 2002 University of CambridgeInner Models and Absoluteness*)use_thy "Reflection";use_thy "WF_absolute";use_thy "L_axioms";use_thy "Datatype_absolute";