src/ZF/Constructible/L_axioms.thy
2002-07-01 paulson 2002-07-01 more use of relativized quantifiers list_closed
2002-06-19 paulson 2002-06-19 new theory of inner models