branch | decompose-isar |
changeset 41985 | cb8ea2269e6f |
child 41986 | 64efbbbed4b4 |
41984:3f614796186e | 41985:cb8ea2269e6f |
---|---|
1 (* Title: 100-init-rootpbl.sml |
|
2 Author: Walther Neuper 1105 |
|
3 (c) copyright due to lincense terms. |
|
4 *) |
|
5 |
|
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; |