| Mon, 27 Apr 2020 12:36:21 +0200 | separate struct.Subst, rename idenfitiers | file | diff | annotate |
| Wed, 22 Apr 2020 11:06:48 +0200 | shift Unsynchronized.ref for tracing to respect.struct. | 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 |
| Sun, 19 Apr 2020 15:51:31 +0200 | run Know_Store independent from 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 |
| Mon, 13 Apr 2020 15:31:23 +0200 | reorganise struct. ThmC, part 1 | file | diff | annotate |
| Fri, 10 Apr 2020 15:02:50 +0200 | rename directory CalcElements to BaseDefinitions | file | diff | annotate | base |