wneuper <walther.neuper@jku.at> [Mon, 09 Aug 2021 14:20:20 +0200] rev 60357
eliminate ThyC.to_ctxt done except 1 error
wneuper <walther.neuper@jku.at> [Mon, 09 Aug 2021 11:19:25 +0200] rev 60356
remove TOODOOs
wneuper <walther.neuper@jku.at> [Sun, 08 Aug 2021 15:21:33 +0200] rev 60355
repair fun is_ratpolyexp
wneuper <walther.neuper@jku.at> [Fri, 06 Aug 2021 18:27:05 +0200] rev 60354
cleanup files on GCD/gcd
wneuper <walther.neuper@jku.at> [Fri, 06 Aug 2021 12:09:06 +0200] rev 60353
repair fun order overwritten by previous tests
wneuper <walther.neuper@jku.at> [Fri, 06 Aug 2021 11:13:20 +0200] rev 60352
repair (ad-hoc) order in PolyMinus.thy, finished
wneuper <walther.neuper@jku.at> [Thu, 05 Aug 2021 18:05:28 +0200] rev 60351
repair (ad-hoc) order in PolyMinus.thy
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"