src/Tools/isac/BaseDefinitions/termC.sml
Mon, 13 Apr 2020 18:32:01 +0200 reorganise struct. ThmC, part 2
Mon, 13 Apr 2020 15:31:23 +0200 reorganise struct. ThmC, part 1
Mon, 13 Apr 2020 13:27:55 +0200 improve renaming
Fri, 10 Apr 2020 18:32:36 +0200 use "UnparseC" for renaming identifiers
Fri, 10 Apr 2020 15:02:50 +0200 rename directory CalcElements to BaseDefinitions