wneuper <walther.neuper@jku.at> [Tue, 03 Aug 2021 19:16:27 +0200] rev 60347
repair cancellation with zero polynomial
wneuper <walther.neuper@jku.at> [Mon, 02 Aug 2021 15:30:41 +0200] rev 60346
tuned
wneuper <walther.neuper@jku.at> [Mon, 02 Aug 2021 15:27:47 +0200] rev 60345
tuned
wneuper <walther.neuper@jku.at> [Mon, 02 Aug 2021 15:25:49 +0200] rev 60344
reapir minus_mult_left, many tests work again
wneuper <walther.neuper@jku.at> [Mon, 02 Aug 2021 11:38:40 +0200] rev 60343
repair thm real_mult_minus1_sym; many newly broken tests
wneuper <walther.neuper@jku.at> [Sun, 01 Aug 2021 14:39:03 +0200] rev 60342
repair ord_make_polynomial_in, est/../integrate.sml works again
wneuper <walther.neuper@jku.at> [Tue, 27 Jul 2021 12:32:43 +0200] rev 60341
//test/../diff.sml works again
wneuper <walther.neuper@jku.at> [Tue, 27 Jul 2021 11:21:14 +0200] rev 60340
revert previous changeset
wneuper <walther.neuper@jku.at> [Tue, 20 Jul 2021 14:37:56 +0200] rev 60339
//reduce the number of TermC.parse*; "//"means: tests broken .
broken tests are outcommented with "reduce the number of TermC.parse*"
wneuper <walther.neuper@jku.at> [Mon, 19 Jul 2021 18:39:02 +0200] rev 60338
eliminate type float; was an early attempt overrun by Isabelle