src/ZF/Constructible/ROOT.ML

Fixed quantified variable name preservation for ball and bex (bounded quants)
Requires tweaking of other scripts. Also routine tidying.

(*  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 "Reflection";
use_thy "WF_absolute";
use_thy "Rec_Separation";
use_thy "Datatype_absolute";