author | wneuper <Walther.Neuper@jku.at> |
Sun, 09 Oct 2022 07:44:22 +0200 | |
changeset 60565 | f92963a33fe3 |
parent 60230 | 0ca0f9363ad3 |
child 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 = TermC.parse_test @{context} "solve (a*x + b = c, x)";
8 TermC.atomty t;
9 (*
10 "\n*** -------------"
11 "\n*** Const ( Equation.solve, bool * real => bool list)"
12 ... ~~~~~ ~~~~~~~~*)