| author | wneuper <Walther.Neuper@jku.at> |
| Mon, 01 Jan 2024 11:31:16 +0100 | |
| changeset 60789 | 8fa678b678e8 |
| parent 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 = ParseC.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 ... ~~~~~ ~~~~~~~~*)