src/ZF/Constructible/Relative.thy
2002-06-28 paulson 2002-06-28 class quantifiers (some) absoluteness and closure for WFrec-defined functions
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