equal
deleted
inserted
replaced
76 | argl2dtss _ = raise error "Equation.ML: wrong argument for argl2dtss"; |
76 | argl2dtss _ = raise error "Equation.ML: wrong argument for argl2dtss"; |
77 |
77 |
78 castab := |
78 castab := |
79 overwritel (!castab, |
79 overwritel (!castab, |
80 [((term_of o the o (parse thy)) "solveTest", |
80 [((term_of o the o (parse thy)) "solveTest", |
81 (("Test.thy", ["univariate","equation","test"], ["no_met"]), |
81 (("Test", ["univariate","equation","test"], ["no_met"]), |
82 argl2dtss)), |
82 argl2dtss)), |
83 ((term_of o the o (parse thy)) "solve", |
83 ((term_of o the o (parse thy)) "solve", |
84 (("Isac.thy", ["univariate","equation"], ["no_met"]), |
84 (("Isac", ["univariate","equation"], ["no_met"]), |
85 argl2dtss)) |
85 argl2dtss)) |
86 ]); |
86 ]); |
87 |
87 |
88 |
88 |
89 |
89 |