Mon, 20 Apr 2020 15:54:19 +0200 | separate Check_Unique, an exercise in higher order funs | file | diff | annotate |
Sun, 19 Apr 2020 16:43:53 +0200 | proper names for Celem1, Celem3 | file | diff | annotate |
Sun, 19 Apr 2020 16:17:27 +0200 | rename Celem1 to Store | file | diff | annotate |
Sun, 19 Apr 2020 15:51:31 +0200 | run Know_Store independent from Celem. in calcelements.sml | file | diff | annotate |
Sun, 19 Apr 2020 15:37:39 +0200 | run Know_Store with Celem1..91 via Celem in calcelements.sml | file | diff | annotate |
Sun, 19 Apr 2020 12:22:37 +0200 | rename KEStore to Know_Store, replace respect.part of Celem with Celem1 | file | diff | annotate | base |