src/Tools/isac/BaseDefinitions/celem-5.sml
Mon, 20 Apr 2020 15:54:19 +0200 separate Check_Unique, an exercise in higher order funs
Sun, 19 Apr 2020 16:43:53 +0200 proper names for Celem1, Celem3
Sun, 19 Apr 2020 16:17:27 +0200 rename Celem1 to Store
Sun, 19 Apr 2020 15:37:39 +0200 run Know_Store with Celem1..91 via Celem in calcelements.sml
Sun, 19 Apr 2020 11:07:02 +0200 switch "activate for Test_Isac .." back to Build_Isac
Fri, 17 Apr 2020 18:47:29 +0200 Test_Isac_Short OK (except the 2 strange errors)
Fri, 17 Apr 2020 18:40:14 +0200 struct.Celem is taken apart in preliminary struct.s
Fri, 17 Apr 2020 15:12:19 +0200 prep. take apart struct.Celem