Walther Neuper <walther.neuper@jku.at> [Thu, 21 Nov 2019 15:31:32 +0100] rev 59717
lucin: shift datatype, rename
Walther Neuper <walther.neuper@jku.at> [Thu, 21 Nov 2019 12:05:56 +0100] rev 59716
lucin: prep.to unitise handling of tactics
Walther Neuper <walther.neuper@jku.at> [Tue, 19 Nov 2019 16:18:16 +0100] rev 59715
tuned
Walther Neuper <walther.neuper@jku.at> [Tue, 19 Nov 2019 16:16:26 +0100] rev 59714
tuned
Walther Neuper <walther.neuper@jku.at> [Tue, 19 Nov 2019 16:12:25 +0100] rev 59713
[Test_Isac] lucin: revise Pstate {or, ...}, see TODO.thy
Walther Neuper <walther.neuper@jku.at> [Tue, 19 Nov 2019 14:19:44 +0100] rev 59712
lucin: improve naming for constructors in scans
Walther Neuper <walther.neuper@jku.at> [Sat, 16 Nov 2019 20:38:55 +0100] rev 59711
lucin: simplify scan for determine_next_tactic according to 86f2102fd7a8
Walther Neuper <walther.neuper@jku.at> [Sat, 16 Nov 2019 20:13:43 +0100] rev 59710
tuned
Walther Neuper <walther.neuper@jku.at> [Sat, 16 Nov 2019 20:11:28 +0100] rev 59709
lucin: simplify scan for locate_input_tactic according to 86f2102fd7a8
Walther Neuper <walther.neuper@jku.at> [Sat, 16 Nov 2019 19:01:04 +0100] rev 59708
lucin: found returning Env.T unnecessary in Skip1,2 and Napp