changeset 1646 | f48fafc18a88 |
parent 1461 | 6bcb44e4d6e5 |
child 1782 | ab45b881fa62 |
--- a/src/ZF/ex/misc.ML Thu Apr 04 14:36:07 1996 +0200 +++ b/src/ZF/ex/misc.ML Thu Apr 04 15:34:52 1996 +0200 @@ -4,7 +4,7 @@ Copyright 1993 University of Cambridge Miscellaneous examples for Zermelo-Fraenkel Set Theory -Cantor's Theorem; Schroeder-Bernstein Theorem; Composition of homomorphisms... +Composition of homomorphisms, Pastre's examples, ... *) writeln"ZF/ex/misc";