# HG changeset patch
# User paulson
# Date 828624892 -7200
# Node ID f48fafc18a8893b37cf82d2438ad6f9f0d35fdb7
# Parent  be85d119a805c20f7798f4d9f390502c04194ceb
updated comments

diff -r be85d119a805 -r f48fafc18a88 src/ZF/ex/misc.ML
--- 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";