doc-src/Logics/ZF-eg.txt
1993-11-12 lcp 1993-11-12 Misc updates
1993-11-10 lcp 1993-11-10 Initial revision