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
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.*