isabelle: File revisions

src/ZF/Constructible/ROOT.ML

2002-10-09	paulson	2002-10-09	Re-organization of Constructible theories	file \| diff \| annotate
2002-08-28	paulson	2002-08-28	completion of the consistency proof for AC	file \| diff \| annotate
2002-08-15	paulson	2002-08-15	Relativization and absoluteness for DPow!!	file \| diff \| annotate
2002-08-13	paulson	2002-08-13	new file Constructible/Satisfies_absolute.thy	file \| diff \| annotate
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.	file \| diff \| annotate
2002-07-09	paulson	2002-07-09	More relativization, reflection and proofs of separation	file \| diff \| annotate
2002-07-05	paulson	2002-07-05	more internalized formulas and separation proofs	file \| diff \| annotate
2002-07-01	paulson	2002-07-01	more use of relativized quantifiers list_closed	file \| diff \| annotate
2002-06-28	paulson	2002-06-28	class quantifiers (some) absoluteness and closure for WFrec-defined functions	file \| diff \| annotate
2002-06-24	paulson	2002-06-24	development and tweaks	file \| diff \| annotate
2002-06-19	paulson	2002-06-19	new theory of inner models	file \| diff \| annotate

isabelle