src/ZF/Constructible/WFrec.thy
2012-03-06 paulson More mathematical symbols for ZF examples
2009-10-17 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
2006-11-17 wenzelm more robust syntax for definition/abbreviation/notation;
2006-11-07 wenzelm tuned specifications;
2005-06-17 haftmann migrated theory headers to new format
2002-11-19 paulson stylistic tweaks
2002-10-09 paulson Re-organization of Constructible theories
2002-10-01 paulson Numerous cosmetic changes, prompted by the new simplifier
2002-09-10 paulson renamed M_triv_axioms to M_trivial and M_axioms to M_basic
2002-08-16 paulson Various tweaks of the presentation
2002-08-16 paulson Relativized right up to L satisfies V=L!
2002-07-28 wenzelm eliminate open locales and special ML code;
2002-07-16 wenzelm adapted locales;
2002-07-12 paulson towards relativization of "iterates" and "wfrec"
2002-07-12 paulson new definitions of fun_apply and M_is_recfun
2002-07-11 paulson tidied
2002-07-11 paulson Separation/Replacement up to M_wfrank!
2002-07-10 paulson Fixed quantified variable name preservation for ball and bex (bounded quants)
2002-07-09 paulson More Separation proofs
2002-07-05 paulson more internalized formulas and separation proofs
2002-07-04 paulson More use of relativized quantifiers
2002-07-04 wenzelm document setup;
2002-07-04 paulson tweaks
2002-07-02 paulson Tidying and introduction of various new theorems
2002-07-01 paulson more use of relativized quantifiers
2002-06-28 paulson class quantifiers (some)
2002-06-26 paulson new treatment of wfrec, replacing wf[A](r) by wf(r)
2002-06-26 paulson towards absoluteness of wfrec-defined functions
2002-06-24 paulson development and tweaks
2002-06-19 paulson new theory of inner models
less more (0) tip