1.1 --- a/test/Tools/isac/Knowledge/polyminus.sml	Fri Sep 03 17:19:20 2010 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/polyminus.sml	Mon Sep 06 14:48:38 2010 +0200
     1.3 @@ -324,7 +324,7 @@
     1.4  \      e_ = Substitute ws_ e_                    \
     1.5  \ in (Repeat((Try (Repeat (Calculate TIMES))) @@  \
     1.6  \            (Try (Repeat (Calculate PLUS ))) @@  \
     1.7 -\            (Try (Repeat (Calculate minus))))) e_)"
     1.8 +\            (Try (Repeat (Calculate MINUS))))) e_)"
     1.9  val sc = ((inst_abs thy) o term_of o the o (parse thy)) str;
    1.10  atomty sc;
    1.11