Walther Neuper <walther.neuper@jku.at> [Tue, 28 Apr 2020 16:51:36 +0200] rev 59916
separate struct.Thy_Read
Walther Neuper <walther.neuper@jku.at> [Tue, 28 Apr 2020 15:44:59 +0200] rev 59915
cleanup ThmC
Walther Neuper <walther.neuper@jku.at> [Tue, 28 Apr 2020 15:31:49 +0200] rev 59914
assign code from Rtools to appropriate struct.s
Walther Neuper <walther.neuper@jku.at> [Mon, 27 Apr 2020 16:40:11 +0200] rev 59913
tuned
Walther Neuper <walther.neuper@jku.at> [Mon, 27 Apr 2020 16:37:56 +0200] rev 59912
clarify types of Subst
Walther Neuper <walther.neuper@jku.at> [Mon, 27 Apr 2020 12:36:21 +0200] rev 59911
separate struct.Subst, rename idenfitiers
Walther Neuper <walther.neuper@jku.at> [Fri, 24 Apr 2020 09:01:48 +0200] rev 59910
tuned
Walther Neuper <walther.neuper@jku.at> [Fri, 24 Apr 2020 08:51:05 +0200] rev 59909
separate struct.Error_Pattern, rename identifiers
Walther Neuper <walther.neuper@jku.at> [Thu, 23 Apr 2020 15:48:31 +0200] rev 59908
separate struct.State_Steps, rename
Walther Neuper <walther.neuper@jku.at> [Thu, 23 Apr 2020 12:34:54 +0200] rev 59907
use "Derive" for renaming identifiers