equal
deleted
inserted
replaced
233 if f = Form' |
233 if f = Form' |
234 (Test_Out.FormKF |
234 (Test_Out.FormKF |
235 (~1,EdUndef,1,Nundef, |
235 (~1,EdUndef,1,Nundef, |
236 "9 + 4 * x = 5 + 2 * x + 2 * sqrt (x \<up> 2 + 5 * x)")) |
236 "9 + 4 * x = 5 + 2 * x + 2 * sqrt (x \<up> 2 + 5 * x)")) |
237 then () else error "behaviour in root-expl. Free_Solve changed"; |
237 then () else error "behaviour in root-expl. Free_Solve changed"; |
238 writeln (pr_ctree pr_short pt); |
238 writeln (pr_ctree ctxt pr_short pt); |
239 ---------------------------------me raises exception with not-locatable*) |
239 ---------------------------------me raises exception with not-locatable*) |
240 |
240 |
241 |
241 |
242 val d = Rule_Set.empty; |
242 val d = Rule_Set.empty; |
243 |
243 |