author | Walther Neuper <neuper@ist.tugraz.at> |
Fri, 13 May 2011 09:28:38 +0200 | |
branch | decompose-isar |
changeset 41986 | 64efbbbed4b4 |
parent 41985 | cb8ea2269e6f |
child 42011 | 6a9ba30ab6bc |
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 case nxt of ("Model_Problem", _) => ()
12 | _ => error "minisubpbl: CalcTreeTEST has no nxt = Model_Problem";