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
wneuper <Walther.Neuper@jku.at> [Wed, 03 Aug 2022 13:22:36 +0200] rev 60505
replace val example_store = Unsynchronized.ref by Thy_Data
wneuper <Walther.Neuper@jku.at> [Sun, 31 Jul 2022 16:35:33 +0200] rev 60504
eliminate global flag Eval.trace_on
wneuper <Walther.Neuper@jku.at> [Sun, 31 Jul 2022 13:45:20 +0200] rev 60503
eliminate global flags of Check_Unique, LI_Tool
wneuper <Walther.Neuper@jku.at> [Sun, 31 Jul 2022 13:23:38 +0200] rev 60502
eliminate global flag Check_Unique.on
wneuper <Walther.Neuper@jku.at> [Sun, 31 Jul 2022 12:39:07 +0200] rev 60501
eliminate global flags of Rewrite.*
wneuper <Walther.Neuper@jku.at> [Sat, 30 Jul 2022 16:47:45 +0200] rev 60500
eliminate global flag Rewrite.trace_on
wneuper <Walther.Neuper@jku.at> [Thu, 28 Jul 2022 11:43:27 +0200] rev 60499
trial on "empty" Example