(* tests on Tools

    author: Walther Neuper

    WN071229,

    (c) due to copyright terms

 use"../smltest/Scripts/tools.sml";

 use"tools.sml";

 *)

 val thy = Real.thy;

 "-----------------------------------------------------------------";

 "table of contents -----------------------------------------------";

 "-----------------------------------------------------------------";

 "----------- fun matchsub ----------------------------------------";

 "-----------------------------------------------------------------";

 "-----------------------------------------------------------------";

 "-----------------------------------------------------------------";

 "----------- fun matchsub ----------------------------------------";

 "----------- fun matchsub ----------------------------------------";

 "----------- fun matchsub ----------------------------------------";

 if matchsub thy (str2term "(a + (b + c))") (str2term "?x + (?y + ?z)")

 then () else raise error "tools.sml matchsub a + (b + c)";

 if matchsub thy (str2term "(a + (b + c)) + d") (str2term "?x + (?y + ?z)")

 then () else raise error "tools.sml matchsub (a + (b + c)) + d";