src/ZF/Constructible/Separation.thy
2002-07-08 paulson 2002-07-08 more and simpler separation proofs
2002-07-08 paulson 2002-07-08 Defining a meta-existential quantifier. Using it to streamline reflection proofs.
2002-07-05 paulson 2002-07-05 more internalized formulas and separation proofs