src/ZF/Constructible/ROOT.ML
author wenzelm
Tue Nov 07 19:40:13 2006 +0100 (2006-11-07)
changeset 21233 5a5c8ea5f66a
parent 13634 99a593b49b04
child 23912 039ae566a4a2
permissions -rw-r--r--
tuned specifications;
     1 (*  Title:      ZF/Constructible/ROOT.ML
     2     ID:         $Id$
     3     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     4     Copyright   2002  University of Cambridge
     5 
     6 Inner Models, Absoluteness and Consistency Proofs
     7 *)
     8 
     9 use_thy "DPow_absolute";
    10 use_thy "AC_in_L";
    11 use_thy "Rank_Separation";