1 (* Title: tests on Tools
2 Author: Walther Neuper WN071229,
3 (c) due to copyright terms
5 val thy = @{theory "Real"};
7 "-----------------------------------------------------------------";
8 "table of contents -----------------------------------------------";
9 "-----------------------------------------------------------------";
10 "----------- fun matchsub ----------------------------------------";
11 "-----------------------------------------------------------------";
12 "-----------------------------------------------------------------";
13 "-----------------------------------------------------------------";
16 "----------- fun matchsub ----------------------------------------";
17 "----------- fun matchsub ----------------------------------------";
18 "----------- fun matchsub ----------------------------------------";
19 if matchsub thy (str2term "(a + (b + c))") (str2term "?x + (?y + ?z)")
20 then () else error "tools.sml matchsub a + (b + c)";
22 if matchsub thy (str2term "(a + (b + c)) + d") (str2term "?x + (?y + ?z)")
23 then () else error "tools.sml matchsub (a + (b + c)) + d";