1.1 --- a/src/sml/IsacKnowledge/PolyEq.ML	Sun Sep 17 00:06:07 2006 +0200
     1.2 +++ b/src/sml/IsacKnowledge/PolyEq.ML	Sun Sep 17 00:32:14 2006 +0200
     1.3 @@ -1145,6 +1145,7 @@
     1.4  	       Rls_ order_add_mult_in,
     1.5  	       Rls_ discard_parentheses,
     1.6  	       Rls_ separate_bdvs,
     1.7 +	       (* Rls_ rearrange_assoc, WN060916 why does cancel_p not work?*)
     1.8  	       Rls_ cancel_p
     1.9  	       (*Calc ("HOL.divide"  ,eval_cancel "#divide_") too weak!*)
    1.10  	       ],