Walther Neuper <walther.neuper@jku.at> [Mon, 04 May 2020 16:25:14 +0200] rev 59937
shift code specific for specify-phase to Specify/*
Walther Neuper <walther.neuper@jku.at> [Mon, 04 May 2020 13:27:45 +0200] rev 59936
remove unused code
Walther Neuper <walther.neuper@jku.at> [Mon, 04 May 2020 12:38:16 +0200] rev 59935
end cleanup Interpret/*, preliminary
preliminary means: no canonical argument order
Walther Neuper <walther.neuper@jku.at> [Mon, 04 May 2020 11:13:16 +0200] rev 59934
cleanup struct.Derive
Walther Neuper <walther.neuper@jku.at> [Mon, 04 May 2020 10:19:16 +0200] rev 59933
spearate Specify_Step.add
Walther Neuper <walther.neuper@jku.at> [Mon, 04 May 2020 09:25:51 +0200] rev 59932
separate Solve_Step.add, rearrange code, prep. Specify_Step
Walther Neuper <walther.neuper@jku.at> [Sat, 02 May 2020 17:39:04 +0200] rev 59931
prep. new Solve_Step.add
Walther Neuper <walther.neuper@jku.at> [Sat, 02 May 2020 16:55:14 +0200] rev 59930
simplify Specify_Step.chek
Walther Neuper <walther.neuper@jku.at> [Sat, 02 May 2020 16:34:42 +0200] rev 59929
Solve_Check: postpone parsing input to _ option
Walther Neuper <walther.neuper@jku.at> [Sat, 02 May 2020 15:41:27 +0200] rev 59928
simplify Solve_Step.check, remove CAScmd (is not a tactic)