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
wneuper <Walther.Neuper@jku.at> [Wed, 24 Aug 2022 19:12:17 +0200] rev 60540
cleanup Rule_Def and Eval_Def
wneuper <Walther.Neuper@jku.at> [Wed, 24 Aug 2022 19:02:19 +0200] rev 60539
use Eval.* instead of Eval_Def.* wherever possible
wneuper <Walther.Neuper@jku.at> [Wed, 24 Aug 2022 18:29:33 +0200] rev 60538
polish naming in structure Eval
wneuper <Walther.Neuper@jku.at> [Wed, 24 Aug 2022 17:21:14 +0200] rev 60537
polish naming in Rule_Def for Eval
wneuper <Walther.Neuper@jku.at> [Wed, 24 Aug 2022 12:37:07 +0200] rev 60536
eliminate SPARK; as an example replaced by Outer_Syntax.command..problem