src/ZF/Constructible/ROOT.ML
author paulson
Wed Aug 21 15:57:24 2002 +0200 (2002-08-21)
changeset 13513 b9e14471629c
parent 13503 d93f41fe35d2
child 13543 2b3c7e319d82
permissions -rw-r--r--
tweaks
     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 "DPow_absolute";