wneuper <Walther.Neuper@jku.at> [Mon, 31 Oct 2022 18:28:36 +0100] rev 60585
rename fields in Probl_Def.T
wneuper <Walther.Neuper@jku.at> [Mon, 31 Oct 2022 16:53:59 +0100] rev 60584
delete forgotten code
wneuper <Walther.Neuper@jku.at> [Mon, 31 Oct 2022 16:43:48 +0100] rev 60583
cleanup Problem/MethodC..prep_input
wneuper <Walther.Neuper@jku.at> [Wed, 26 Oct 2022 09:54:58 +0200] rev 60582
review TODO
wneuper <Walther.Neuper@jku.at> [Wed, 26 Oct 2022 09:38:28 +0200] rev 60581
cleanup
wneuper <Walther.Neuper@jku.at> [Tue, 25 Oct 2022 17:44:08 +0200] rev 60580
polished
wneuper <Walther.Neuper@jku.at> [Tue, 25 Oct 2022 17:42:04 +0200] rev 60579
follow up 7: Example with an *empty* Specification; follow ups finished
wneuper <Walther.Neuper@jku.at> [Tue, 25 Oct 2022 16:15:47 +0200] rev 60578
follow up 6: eliminate use of Thy_Info.get_theory, part 1
wneuper <Walther.Neuper@jku.at> [Sun, 23 Oct 2022 17:21:04 +0200] rev 60577
follow up 6a: eliminate Thy_Info.get_theory for Minisubplb/100-init-rootpbl.sml
wneuper <Walther.Neuper@jku.at> [Sun, 23 Oct 2022 16:08:27 +0200] rev 60576
follow up 6a: eliminate Thy_Inof.get_thoery for Minisubplb/100-init-rootpbl.sml independent -- src only, rollback