diff -r a34d89ce6097 -r 6616e6c53d48 src/ZF/Induct/FoldSet.thy
--- 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"