wneuper <Walther.Neuper@jku.at> [Sat, 06 Aug 2022 15:02:55 +0200] rev 60521
eliminate union_overwrite and use standard namespace merge
wneuper <Walther.Neuper@jku.at> [Sat, 06 Aug 2022 10:45:24 +0200] rev 60520
reorder TODO.md priorities
wneuper <Walther.Neuper@jku.at> [Fri, 05 Aug 2022 12:30:16 +0200] rev 60519
push Proof.context through Eval.adhoc_thm
wneuper <Walther.Neuper@jku.at> [Fri, 05 Aug 2022 11:41:06 +0200] rev 60518
improve error-msg of Problem.from_store, MethodC.from_store
wneuper <Walther.Neuper@jku.at> [Fri, 05 Aug 2022 11:38:10 +0200] rev 60517
improve error-msg of Problem.from_store, MethodC.from_store
wneuper <Walther.Neuper@jku.at> [Fri, 05 Aug 2022 08:45:37 +0200] rev 60516
finish Calc_Binop, add signature EXAMPLE
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