| author | wneuper <Walther.Neuper@jku.at> |
| Mon, 30 Jan 2023 09:47:18 +0100 | |
| changeset 60660 | c4b24621077e |
| parent 60650 | 06ec8abfd3bc |
| 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 ... ~~~~~ ~~~~~~~~*)