Walther Neuper <walther.neuper@jku.at> [Sun, 19 Apr 2020 15:51:31 +0200] rev 59889
run Know_Store independent from Celem. in calcelements.sml
Walther Neuper <walther.neuper@jku.at> [Sun, 19 Apr 2020 15:37:39 +0200] rev 59888
run Know_Store with Celem1..91 via Celem in calcelements.sml
Walther Neuper <walther.neuper@jku.at> [Sun, 19 Apr 2020 12:22:37 +0200] rev 59887
rename KEStore to Know_Store, replace respect.part of Celem with Celem1
note: the latter was NOT restricted to Know_Store, because redefinition in calcelems.sml
(i.e. "datatype 'a ptyp = Celem1.Ptyp of ... Celem.ptyp") did not work.
Walther Neuper <walther.neuper@jku.at> [Sun, 19 Apr 2020 11:07:02 +0200] rev 59886
switch "activate for Test_Isac .." back to Build_Isac
Walther Neuper <walther.neuper@jku.at> [Fri, 17 Apr 2020 18:47:29 +0200] rev 59885
Test_Isac_Short OK (except the 2 strange errors)
Walther Neuper <walther.neuper@jku.at> [Fri, 17 Apr 2020 18:40:14 +0200] rev 59884
struct.Celem is taken apart in preliminary struct.s
Note: celem-0.sml shows all occurrences of Celem. covered by new struct.s
Walther Neuper <walther.neuper@jku.at> [Fri, 17 Apr 2020 15:19:02 +0200] rev 59883
tuned
Walther Neuper <walther.neuper@jku.at> [Fri, 17 Apr 2020 15:12:19 +0200] rev 59882
prep. take apart struct.Celem
Walther Neuper <walther.neuper@jku.at> [Wed, 15 Apr 2020 18:00:58 +0200] rev 59881
collect code in ThyC
Walther Neuper <walther.neuper@jku.at> [Wed, 15 Apr 2020 16:46:41 +0200] rev 59880
use "ThyC" for renaming identifiers finished, cleanup