Walther Neuper <walther.neuper@jku.at> [Wed, 04 Mar 2020 15:38:06 +0100] rev 59817
unify copy&paste-code in Sub_Problem.prog_to_tac
Note: Test_Some contains an ERROR-test from test/../solve.sml
Walther Neuper <walther.neuper@jku.at> [Tue, 03 Mar 2020 11:59:06 +0100] rev 59816
cleanup, in particular TODO.thy
Walther Neuper <walther.neuper@jku.at> [Tue, 25 Feb 2020 18:36:29 +0100] rev 59815
prep. cleanup istate/ctxt in Ctree, part 6
Walther Neuper <walther.neuper@jku.at> [Mon, 24 Feb 2020 17:51:26 +0100] rev 59814
prep.: add test-code and test, cleanup
Walther Neuper <walther.neuper@jku.at> [Fri, 21 Feb 2020 14:19:33 +0100] rev 59813
prep. cleanup istate/ctxt in Ctree, part 5
note: no changes in code yet
Walther Neuper <walther.neuper@jku.at> [Thu, 20 Feb 2020 18:47:55 +0100] rev 59812
cleanup Tactic and prep.shift after Ctree
Walther Neuper <walther.neuper@jku.at> [Thu, 20 Feb 2020 18:02:00 +0100] rev 59811
prep. cleanup istate/ctxt in Ctree, part 4
Walther Neuper <walther.neuper@jku.at> [Thu, 20 Feb 2020 17:09:24 +0100] rev 59810
prep. cleanup istate/ctxt in Ctree, part 3
Walther Neuper <walther.neuper@jku.at> [Thu, 20 Feb 2020 14:57:03 +0100] rev 59809
prep. cleanup istate/ctxt in Ctree, part 2
Walther Neuper <walther.neuper@jku.at> [Thu, 20 Feb 2020 12:10:42 +0100] rev 59808
improved test