| Tue, 21 Apr 2020 12:26:08 +0200 | use "Store" for renaming identifiers | file | diff | annotate |
| Tue, 21 Apr 2020 11:28:20 +0200 | CAS_Cmd appears independent from CAS_Def (required for Know_Store) | file | diff | annotate |
| 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 |