src/ZF/Constructible/ROOT.ML
author wenzelm
Mon Jul 29 00:57:16 2002 +0200 (2002-07-29)
changeset 13428 99e52e78eb65
parent 13339 0f89104dd377
child 13494 1c44289716ae
permissions -rw-r--r--
eliminate open locales and special ML code;
     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 and Absoluteness
     7 
     8 Build using	isatool usedir  -d pdf ZF Constructible
     9 *)
    10 
    11 use_thy "Reflection";
    12 use_thy "WF_absolute";
    13 use_thy "Rec_Separation";
    14 use_thy "Datatype_absolute";