src/ZF/Constructible/WFrec.thy
2002-06-19 paulson 2002-06-19 new theory of inner models