Mon, 30 Jan 2023 09:47:18 +0100 |
cleanup parse #3: final functions inb ParseC
|
file | diff | annotate |
Sun, 09 Oct 2022 07:44:22 +0200 |
eliminate term2str in test/*
|
file | diff | annotate |
Thu, 29 Apr 2021 17:02:10 +0200 |
eliminate "handle _ => ..." finished
|
file | diff | annotate |
Mon, 19 Apr 2021 15:02:00 +0200 |
long identifiers for occurences in test/../termC.sml
|
file | diff | annotate |
Tue, 21 Apr 2020 15:42:50 +0200 |
replace Celem. with new struct.s in BaseDefinitions/
|
file | diff | annotate |
Tue, 21 Apr 2020 12:26:08 +0200 |
use "Store" for renaming identifiers
|
file | diff | annotate |
Sun, 19 Apr 2020 16:17:27 +0200 |
rename Celem1 to Store
|
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 |
Wed, 15 Apr 2020 13:47:56 +0200 |
use "ThyC" for renaming identifiers
|
file | diff | annotate |
Wed, 15 Apr 2020 10:07:43 +0200 |
use "ThmC" for renaming identifiers
|
file | diff | annotate |
Tue, 14 Apr 2020 15:56:15 +0200 |
use "ThmC_Def" for renaming identifiers
|
file | diff | annotate |
Tue, 14 Apr 2020 12:39:26 +0200 |
reorganise struct. ThmC, part 3 end
|
file | diff | annotate |
Fri, 10 Apr 2020 18:32:36 +0200 |
use "UnparseC" for renaming identifiers
|
file | diff | annotate |
Fri, 10 Apr 2020 15:02:50 +0200 |
rename directory CalcElements to BaseDefinitions
|
file | diff | annotate | base |