Walther Neuper <walther.neuper@jku.at> [Tue, 05 May 2020 15:39:20 +0200] rev 59943
assign code struct.O_Model and I_Model, part 2: model.sml is clean
Walther Neuper <walther.neuper@jku.at> [Tue, 05 May 2020 13:33:23 +0200] rev 59942
assign code struct.O_Model and I_Model, part 1
Walther Neuper <walther.neuper@jku.at> [Tue, 05 May 2020 09:07:36 +0200] rev 59941
separate struc.Formalise
Walther Neuper <walther.neuper@jku.at> [Mon, 04 May 2020 18:47:27 +0200] rev 59940
separate struct O_Model and I_Model, part 2
Walther Neuper <walther.neuper@jku.at> [Mon, 04 May 2020 17:08:32 +0200] rev 59939
separate struct O_Model and I_Model, part 1
Walther Neuper <walther.neuper@jku.at> [Mon, 04 May 2020 16:47:32 +0200] rev 59938
prep.to separate struct O_Model and I_Model
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