src/ZF/Constructible/WF_absolute.thy
2002-06-26 paulson 2002-06-26 towards absoluteness of wfrec-defined functions
2002-06-24 paulson 2002-06-24 towards absoluteness of wf
2002-06-19 paulson 2002-06-19 new theory of inner models