src/ZF/Constructible/ROOT.ML
2002-10-09 paulson 2002-10-09 Re-organization of Constructible theories
2002-08-28 paulson 2002-08-28 completion of the consistency proof for AC
2002-08-15 paulson 2002-08-15 Relativization and absoluteness for DPow!!
2002-08-13 paulson 2002-08-13 new file Constructible/Satisfies_absolute.thy
2002-07-10 paulson 2002-07-10 Fixed quantified variable name preservation for ball and bex (bounded quants) Requires tweaking of other scripts. Also routine tidying.
2002-07-09 paulson 2002-07-09 More relativization, reflection and proofs of separation
2002-07-05 paulson 2002-07-05 more internalized formulas and separation proofs
2002-07-01 paulson 2002-07-01 more use of relativized quantifiers list_closed
2002-06-28 paulson 2002-06-28 class quantifiers (some) absoluteness and closure for WFrec-defined functions
2002-06-24 paulson 2002-06-24 development and tweaks
2002-06-19 paulson 2002-06-19 new theory of inner models