1.1 --- a/test/Tools/isac/Knowledge/polyminus.sml	Thu Sep 02 15:11:23 2010 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/polyminus.sml	Thu Sep 02 15:36:48 2010 +0200
     1.3 @@ -322,8 +322,8 @@
     1.4  "Script ProbeScript (e_::bool) (ws_::bool list) =\
     1.5  \ (let e_ = Take e_;                             \
     1.6  \      e_ = Substitute ws_ e_                    \
     1.7 -\ in (Repeat((Try (Repeat (Calculate times))) @@  \
     1.8 -\            (Try (Repeat (Calculate plus ))) @@  \
     1.9 +\ in (Repeat((Try (Repeat (Calculate TIMES))) @@  \
    1.10 +\            (Try (Repeat (Calculate PLUS ))) @@  \
    1.11  \            (Try (Repeat (Calculate minus))))) e_)"
    1.12  val sc = ((inst_abs thy) o term_of o the o (parse thy)) str;
    1.13  atomty sc;