Walther Neuper <walther.neuper@jku.at> [Thu, 19 Dec 2019 16:41:57 +0100] rev 59749
cleanup fun solve, shift from Solve --> Step_Solve
Walther Neuper <walther.neuper@jku.at> [Thu, 19 Dec 2019 12:40:17 +0100] rev 59748
lucin: various investigations (a chaos change set)
Walther Neuper <walther.neuper@jku.at> [Wed, 18 Dec 2019 15:33:27 +0100] rev 59747
prep. intro. of Step
Walther Neuper <walther.neuper@jku.at> [Wed, 18 Dec 2019 14:48:43 +0100] rev 59746
cleanup, unify code for Check_Postcond'
Walther Neuper <walther.neuper@jku.at> [Wed, 18 Dec 2019 12:40:49 +0100] rev 59745
cleanup OLD NEW
Walther Neuper <walther.neuper@jku.at> [Wed, 18 Dec 2019 11:34:10 +0100] rev 59744
tuned
Walther Neuper <walther.neuper@jku.at> [Wed, 18 Dec 2019 11:31:31 +0100] rev 59743
lucin: plan for new identifiers of steps
Walther Neuper <walther.neuper@jku.at> [Wed, 18 Dec 2019 11:02:32 +0100] rev 59742
hack until review of Specify
Walther Neuper <walther.neuper@jku.at> [Tue, 17 Dec 2019 17:52:48 +0100] rev 59741
revert previous changeset, see TODO.thy
Walther Neuper <walther.neuper@jku.at> [Tue, 17 Dec 2019 17:19:34 +0100] rev 59740
shift tactic.sml after ctree.sml, leave tactic-def.sml before
note: this prepares for Tactic.applicable