Tue, 28 Apr 2020 16:51:36 +0200 |
separate struct.Thy_Read
|
file | diff | annotate |
Fri, 24 Apr 2020 08:51:05 +0200 |
separate struct.Error_Pattern, rename identifiers
|
file | diff | annotate |
Thu, 23 Apr 2020 09:29:56 +0200 |
separate struct. Derive
|
file | diff | annotate |
Wed, 22 Apr 2020 16:53:03 +0200 |
cleanup Celem
|
file | diff | annotate |
Tue, 21 Apr 2020 16:53:17 +0200 |
Test_Isac_Short now ok.
|
file | diff | annotate |
Tue, 21 Apr 2020 16:16:11 +0200 |
remove unused code from Celem
|
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 |
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:53:04 +0200 |
derive Method.T from Meth_Def.T, drop funs and types used by 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 |
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: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 |
Sun, 19 Apr 2020 11:07:02 +0200 |
switch "activate for Test_Isac .." back to Build_Isac
|
file | diff | annotate |
Fri, 17 Apr 2020 18:47:29 +0200 |
Test_Isac_Short OK (except the 2 strange errors)
|
file | diff | annotate |
Fri, 17 Apr 2020 18:40:14 +0200 |
struct.Celem is taken apart in preliminary struct.s
|
file | diff | annotate |
Fri, 17 Apr 2020 15:19:02 +0200 |
tuned
|
file | diff | annotate |
Wed, 15 Apr 2020 18:00:58 +0200 |
collect code in ThyC
|
file | diff | annotate |
Wed, 15 Apr 2020 16:46:41 +0200 |
use "ThyC" for renaming identifiers finished, cleanup
|
file | diff | annotate |
Wed, 15 Apr 2020 13:47:56 +0200 |
use "ThyC" for renaming identifiers
|
file | diff | annotate |
Wed, 15 Apr 2020 11:37:43 +0200 |
cleanup
|
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 16:16:09 +0200 |
use "Rule" and "Rule_Set" for renaming identifiers
|
file | diff | annotate |
Fri, 10 Apr 2020 15:02:50 +0200 |
rename directory CalcElements to BaseDefinitions
|
file | diff | annotate | base |