"Script ProbeScript (e_::bool) (ws_::bool list) =\

 "Script ProbeScript (e_::bool) (ws_::bool list) =\

 \ (let e_ = Take e_;                             \

 \ (let e_ = Take e_;                             \

 \      e_ = Substitute ws_ e_                    \

 \      e_ = Substitute ws_ e_                    \

 \ in (Repeat((Try (Repeat (Calculate TIMES))) @@  \

 \ in (Repeat((Try (Repeat (Calculate TIMES))) @@  \

 \            (Try (Repeat (Calculate PLUS ))) @@  \

 \            (Try (Repeat (Calculate PLUS ))) @@  \

 val sc = ((inst_abs thy) o term_of o the o (parse thy)) str;

 val sc = ((inst_abs thy) o term_of o the o (parse thy)) str;

 atomty sc;

 atomty sc;

 "----------- pbl polynom probe -----------------------------------";

 "----------- pbl polynom probe -----------------------------------";