Walther Neuper <walther.neuper@jku.at> [Sat, 02 May 2020 10:57:04 +0200] rev 59925
remove unused tactics, part 1
Walther Neuper <walther.neuper@jku.at> [Sat, 02 May 2020 09:15:39 +0200] rev 59924
comment tactics in struct. (only)
Walther Neuper <walther.neuper@jku.at> [Fri, 01 May 2020 17:17:41 +0200] rev 59923
unify sequence of tactics
Walther Neuper <walther.neuper@jku.at> [Fri, 01 May 2020 16:06:59 +0200] rev 59922
separate Specify_Step.check
Walther Neuper <walther.neuper@jku.at> [Fri, 01 May 2020 15:28:40 +0200] rev 59921
separate Solve_Step.check, repair ALL of Test_Isac_Short
Walther Neuper <walther.neuper@jku.at> [Wed, 29 Apr 2020 12:30:51 +0200] rev 59920
prep. separation of check Applicable between specify-phase and solve-phase
Walther Neuper <walther.neuper@jku.at> [Wed, 29 Apr 2020 09:03:01 +0200] rev 59919
comments on relation between files.
note: higher order functions might allow for re-union.
Walther Neuper <walther.neuper@jku.at> [Tue, 28 Apr 2020 19:39:06 +0200] rev 59918
move code from struct.Celem to appropriate struct.s
Walther Neuper <walther.neuper@jku.at> [Tue, 28 Apr 2020 17:50:18 +0200] rev 59917
separate struct.Thy_Present, rename Thy_Html to Thy_Write
Walther Neuper <walther.neuper@jku.at> [Tue, 28 Apr 2020 16:51:36 +0200] rev 59916
separate struct.Thy_Read