--- a/src/ZF/Induct/FoldSet.thy Mon May 26 18:36:15 2003 +0200
+++ b/src/ZF/Induct/FoldSet.thy Tue May 27 11:39:03 2003 +0200
@@ -8,7 +8,7 @@
least left-commutative.
*)
-FoldSet = Main +
+FoldSet = Main +
consts fold_set :: "[i, i, [i,i]=>i, i] => i"