author | Walther Neuper <neuper@ist.tugraz.at> |
Thu, 12 Aug 2010 11:02:32 +0200 | |
branch | isac-update-Isa09-2 |
changeset 37906 | e2b23ba9df13 |
permissions | -rw-r--r-- |
neuper@37906 | 1 |
(* use"kbtest/wn.sml"; |
neuper@37906 | 2 |
use"wn.sml"; |
neuper@37906 | 3 |
|
neuper@37906 | 4 |
various test dependent on IsacKnowledge/ outside Test.thy, Test.ML*) |
neuper@37906 | 5 |
|
neuper@37906 | 6 |
|
neuper@37906 | 7 |
val t = str2term "solve (a*x + b = c, x)"; |
neuper@37906 | 8 |
atomty t; |
neuper@37906 | 9 |
(* |
neuper@37906 | 10 |
"\n*** -------------" |
neuper@37906 | 11 |
"\n*** Const ( Equation.solve, bool * real => bool list)" |
neuper@37906 | 12 |
... ~~~~~ ~~~~~~~~*) |