9 ["Test","squ-equ-test-subpbl1"]); |
9 ["Test","squ-equ-test-subpbl1"]); |
10 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))]; (*nxt = ("Model_Problem"*) |
10 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))]; (*nxt = ("Model_Problem"*) |
11 (*for resuming after stepping into code*) |
11 (*for resuming after stepping into code*) |
12 val (p''',f''',nxt''',pt''') = (p,f,nxt,pt); |
12 val (p''',f''',nxt''',pt''') = (p,f,nxt,pt); |
13 |
13 |
14 "~~~~~ fun me, args:"; val (((_,tac):tac'_), (p:pos'), (_:NEW), (pt:ptree)) = (nxt, p, [], pt); |
14 "~~~~~ fun me, args:"; val (((_,tac):tac'_), (p:pos'), (_:NEW), (pt:ctree)) = (nxt, p, [], pt); |
15 val (pt, p) = |
15 val (pt, p) = |
16 case locatetac tac (pt,p) of |
16 case locatetac tac (pt,p) of |
17 ("ok", (_, _, ptp)) => ptp; |
17 ("ok", (_, _, ptp)) => ptp; |
18 (* val (_, ts) = |
18 (* val (_, ts) = |
19 (case step p ((pt, e_pos'),[]) of |
19 (case step p ((pt, e_pos'),[]) of |