src/ZF/Constructible/ROOT.ML

new file Constructible/Satisfies_absolute.thy

(*  Title:      ZF/Constructible/ROOT.ML
    ID:         $Id$
    Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
    Copyright   2002  University of Cambridge

Inner Models and Absoluteness

Build using	isatool usedir  -d pdf ZF Constructible
*)

use_thy "Satisfies_absolute";