doc-src/Logics/ZF.tex
1996-01-23 paulson 1996-01-23 Added discussion of "let" and pattern-matching
1994-11-17 lcp 1994-11-17 In ZF, type i has class term, not (just) logic
1994-09-09 lcp 1994-09-09 Added mention of directory IMP; tidied the section on examples.
1994-07-29 lcp 1994-07-29 renamed union_iff to Union_iff renamed power_set to Pow_iff DiffD2: now is really a destruction rule
1994-07-11 lcp 1994-07-11 minor edits
1994-05-03 lcp 1994-05-03 post-CRC corrections
1994-04-25 lcp 1994-04-25 final Springer copy
1994-04-15 lcp 1994-04-15 penultimate Springer draft
1994-03-21 lcp 1994-03-21 first draft of Springer book
1993-11-19 lcp 1993-11-19 Documents not, and, or, xor: boolean ops
1993-11-12 lcp 1993-11-12 Misc updates
1993-11-11 lcp 1993-11-11 Various updates for Isabelle-93
1993-11-10 lcp 1993-11-10 Initial revision