src/ZF/Constructible/Wellorderings.thy
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-11-07 wenzelm 2006-11-07 tuned specifications;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2003-01-15 paulson 2003-01-15 more new-style theories
2002-10-09 paulson 2002-10-09 Re-organization of Constructible theories
2002-10-04 paulson 2002-10-04 Various simplifications of the Constructible theories
2002-10-01 paulson 2002-10-01 Numerous cosmetic changes, prompted by the new simplifier
2002-09-30 berghofe 2002-09-30 Adapted to new simplifier.
2002-09-10 paulson 2002-09-10 renamed M_triv_axioms to M_trivial and M_axioms to M_basic
2002-08-21 paulson 2002-08-21 tweaks
2002-08-16 paulson 2002-08-16 Relativized right up to L satisfies V=L!
2002-07-29 wenzelm 2002-07-29 eliminate open locales and special ML code;
2002-07-12 paulson 2002-07-12 new definitions of fun_apply and M_is_recfun
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-05 paulson 2002-07-05 more internalized formulas and separation proofs
2002-07-04 paulson 2002-07-04 More use of relativized quantifiers
2002-07-04 paulson 2002-07-04 Constructible: some separation axioms
2002-07-04 wenzelm 2002-07-04 document setup;
2002-07-04 paulson 2002-07-04 tweaks
2002-07-02 paulson 2002-07-02 Tidying and introduction of various new theorems
2002-06-26 paulson 2002-06-26 new treatment of wfrec, replacing wf[A](r) by wf(r)
2002-06-26 paulson 2002-06-26 towards absoluteness of 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