wneuper <Walther.Neuper@jku.at> [Mon, 12 Sep 2022 17:46:32 +0200] rev 60550
eliminate KEStore_Elems.get_thes, add_thes 2: get_cas 1: Test_Isac ok
wneuper <Walther.Neuper@jku.at> [Sun, 11 Sep 2022 14:31:15 +0200] rev 60549
resolve name clash in get_calc
wneuper <Walther.Neuper@jku.at> [Fri, 09 Sep 2022 10:53:51 +0200] rev 60548
eliminate KEStore_Elems.get_thes, add_thes 2: get_rew_ord finished
wneuper <Walther.Neuper@jku.at> [Fri, 09 Sep 2022 10:15:28 +0200] rev 60547
eliminate KEStore_Elems.get_thes, add_thes 2: get_rew_ord, get_calc, get_cas
wneuper <Walther.Neuper@jku.at> [Wed, 07 Sep 2022 15:06:50 +0200] rev 60546
eliminate KEStore_Elems.get_thes, add_thes 1: get_rls 4: cleanup
wneuper <Walther.Neuper@jku.at> [Wed, 07 Sep 2022 15:01:17 +0200] rev 60545
eliminate KEStore_Elems.get_thes, add_thes 1: get_rls 3: cleanup
wneuper <Walther.Neuper@jku.at> [Wed, 07 Sep 2022 14:51:58 +0200] rev 60544
eliminate KEStore_Elems.get_thes, add_thes 1: get_rls 2: shift parent_node
wneuper <Walther.Neuper@jku.at> [Wed, 07 Sep 2022 10:58:12 +0200] rev 60543
eliminate KEStore_Elems.get_thes, add_thes 1: get_rls 1
wneuper <Walther.Neuper@jku.at> [Tue, 06 Sep 2022 11:47:00 +0200] rev 60542
prepare elimination of KEStore_Elems.get_thes, add_thes
wneuper <Walther.Neuper@jku.at> [Wed, 24 Aug 2022 19:15:06 +0200] rev 60541
cleanup Rule_Def and Eval_Def