author | wneuper <Walther.Neuper@jku.at> |
Wed, 11 Jan 2023 11:38:01 +0100 | |
changeset 60650 | 06ec8abfd3bc |
parent 60565 | f92963a33fe3 |
child 60660 | c4b24621077e |
permissions | -rw-r--r-- |
1 (* use"kbtest/wn.sml";
2 use"wn.sml";
4 various test dependent on IsacKnowledge/ outside Test.thy, Test.ML*)
7 val t = TermC.parse_test @{context} "solve (a*x + b = c, x)";
8 TermC.atom_trace_detail @{context} t;
9 (*
10 "\n*** -------------"
11 "\n*** Const ( Equation.solve, bool * real => bool list)"
12 ... ~~~~~ ~~~~~~~~*)