wneuper <Walther.Neuper@jku.at> [Thu, 04 Aug 2022 16:48:37 +0200] rev 60515
add structure Calc_Binop
wneuper <Walther.Neuper@jku.at> [Thu, 04 Aug 2022 15:38:42 +0200] rev 60514
cleanup
wneuper <Walther.Neuper@jku.at> [Thu, 04 Aug 2022 15:25:44 +0200] rev 60513
tuned
wneuper <Walther.Neuper@jku.at> [Thu, 04 Aug 2022 15:24:58 +0200] rev 60512
review TODO.md, group items, make priority lists
wneuper <Walther.Neuper@jku.at> [Thu, 04 Aug 2022 14:18:35 +0200] rev 60511
Unchronized.ref are all eliminated by cf. b125dcf14489
wneuper <Walther.Neuper@jku.at> [Thu, 04 Aug 2022 12:50:19 +0200] rev 60510
cleanup Example.id
wneuper <Walther.Neuper@jku.at> [Thu, 04 Aug 2022 12:48:37 +0200] rev 60509
polish naming in Rewrite_Order
wneuper <Walther.Neuper@jku.at> [Wed, 03 Aug 2022 18:17:27 +0200] rev 60508
cleanup
wneuper <Walther.Neuper@jku.at> [Wed, 03 Aug 2022 18:06:02 +0200] rev 60507
eliminate global flags in GCD_Poly_ML, the last Unchronized.ref in isac
wneuper <Walther.Neuper@jku.at> [Wed, 03 Aug 2022 17:18:47 +0200] rev 60506
replace val rew_ord' = Unsynchronized.ref by Theory_Data