improved name of simproc;

--- a/src/Provers/Arith/assoc_fold.ML	Wed May 10 22:34:30 2000 +0200
+++ b/src/Provers/Arith/assoc_fold.ML	Fri May 12 11:52:44 2000 +0200
@@ -68,7 +68,7 @@
    handle Assoc_fail => None;
  
  val conv = 
-     Simplifier.mk_simproc "assoc_fold_sums"
+     Simplifier.mk_simproc "assoc_fold"
        [Thm.cterm_of (Theory.sign_of Data.thy)
 	             (Data.plus $ Free("x",Data.T) $ Free("y",Data.T))]
        proc;