| Tue, 21 Apr 2020 10:13:30 +0200 | derive Problem from Probl_Def, drop funs and types used by Know_Store | file | diff | annotate |
| Mon, 20 Apr 2020 16:47:01 +0200 | rename remaining struct.s Celem5..Celem8 | file | diff | annotate |
| 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 |