| author | paulson |
| Thu, 04 Apr 1996 15:34:52 +0200 | |
| changeset 1646 | f48fafc18a88 |
| parent 1645 | be85d119a805 |
| child 1647 | f42776cced4c |
| src/ZF/ex/misc.ML | file | annotate | diff | comparison | revisions |
--- 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";