changeset 60565 | f92963a33fe3 |
parent 60230 | 0ca0f9363ad3 |
child 60650 | 06ec8abfd3bc |
1.1 --- a/test/Tools/isac/Knowledge/wn.sml Sun Oct 09 06:53:03 2022 +0200 1.2 +++ b/test/Tools/isac/Knowledge/wn.sml Sun Oct 09 07:44:22 2022 +0200 1.3 @@ -4,7 +4,7 @@ 1.4 various test dependent on IsacKnowledge/ outside Test.thy, Test.ML*) 1.5 1.6 1.7 - val t = TermC.str2term "solve (a*x + b = c, x)"; 1.8 + val t = TermC.parse_test @{context} "solve (a*x + b = c, x)"; 1.9 TermC.atomty t; 1.10 (* 1.11 "\n*** -------------"