1 (* tests on calchead.sml |
1 (* Title: tests on calchead.sml |
2 author: Walther Neuper |
2 Author: Walther Neuper 051013, |
3 051013, |
|
4 (c) due to copyright terms |
3 (c) due to copyright terms |
5 |
4 |
6 12345678901234567890123456789012345678901234567890123456789012345678901234567890 |
5 12345678901234567890123456789012345678901234567890123456789012345678901234567890 |
7 10 20 30 40 50 60 70 80 |
6 10 20 30 40 50 60 70 80 |
8 *) |
7 *) |
19 "--------- regr.test fun cpy_nam ------------------------"; |
18 "--------- regr.test fun cpy_nam ------------------------"; |
20 "--------------------------------------------------------"; |
19 "--------------------------------------------------------"; |
21 "--------------------------------------------------------"; |
20 "--------------------------------------------------------"; |
22 "--------------------------------------------------------"; |
21 "--------------------------------------------------------"; |
23 |
22 |
24 (*WN100914====================================================================== |
23 (*========== inhibit exn ======================================================= |
25 "--------- get_interval after replace} other 2 ----------"; |
24 "--------- get_interval after replace} other 2 ----------"; |
26 "--------- get_interval after replace} other 2 ----------"; |
25 "--------- get_interval after replace} other 2 ----------"; |
27 "--------- get_interval after replace} other 2 ----------"; |
26 "--------- get_interval after replace} other 2 ----------"; |
28 states := []; |
27 states := []; |
29 CalcTree |
28 CalcTree |
323 (* 2.4.00 nach Transfer specify -> hard_gen |
322 (* 2.4.00 nach Transfer specify -> hard_gen |
324 val nxt = Apply_Method ("DiffApp.thy","max_by_calculus"); |
323 val nxt = Apply_Method ("DiffApp.thy","max_by_calculus"); |
325 val(p,_,Form'(PpcKF(_,_,_,_,ppc)),nxt,_,pt) = specify nxt p [] pt; *) |
324 val(p,_,Form'(PpcKF(_,_,_,_,ppc)),nxt,_,pt) = specify nxt p [] pt; *) |
326 (*val nxt = Empty_Tac : tac*) |
325 (*val nxt = Empty_Tac : tac*) |
327 |
326 |
328 ====================================================================WN100914*) |
327 ============ inhibit exn =====================================================*) |
329 |
328 |
330 "--------- match_ags, is_cp, cpy_nam +with EqSystem (!)--"; |
329 "--------- match_ags, is_cp, cpy_nam +with EqSystem (!)--"; |
331 "--------- match_ags, is_cp, cpy_nam +with EqSystem (!)--"; |
330 "--------- match_ags, is_cp, cpy_nam +with EqSystem (!)--"; |
332 "--------- match_ags, is_cp, cpy_nam +with EqSystem (!)--"; |
331 "--------- match_ags, is_cp, cpy_nam +with EqSystem (!)--"; |
333 val Const ("Script.SubProblem",_) $ |
332 val Const ("Script.SubProblem",_) $ |