src/ZF/Constructible/Internalize.thy
2002-08-16 paulson 2002-08-16 Various tweaks of the presentation
2002-08-16 paulson 2002-08-16 Relativized right up to L satisfies V=L!
2002-08-15 paulson 2002-08-15 Relativization and absoluteness for DPow!!
2002-08-13 paulson 2002-08-13 In ZF/Constructible, moved many results from Satisfies_absolute, etc., to the new theory Internalize.thy