author | Walther Neuper <neuper@ist.tugraz.at> |
Thu, 12 May 2011 10:00:06 +0200 | |
branch | decompose-isar |
changeset 41985 | cb8ea2269e6f |
child 41986 | 64efbbbed4b4 |
permissions | -rw-r--r-- |
1 (* Title: 100-init-rootpbl.sml
2 Author: Walther Neuper 1105
3 (c) copyright due to lincense terms.
4 *)
6 val fmz = ["equality (x+1=(2::real))", "solveFor x","solutions L"];
7 val (dI',pI',mI') =
8 ("Test", ["sqroot-test","univariate","equation","test"],
9 ["Test","squ-equ-test-subpbl1"]);
10 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
11 val (p,_,f,nxt,_,pt) = me nxt p [] pt;