wneuper <walther.neuper@jku.at> [Wed, 04 Aug 2021 17:34:47 +0200] rev 60350
remove comments from (*ML_file ?..?*) in Test_Isac_Short.thy
?
wneuper <walther.neuper@jku.at> [Wed, 04 Aug 2021 10:15:55 +0200] rev 60349
repair test broken with "repair addition with zero polynomial"
wneuper <walther.neuper@jku.at> [Tue, 03 Aug 2021 19:40:02 +0200] rev 60348
outcomment test broken with "repair cancellation with zero polynomial"
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