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:51:31 +0200 |
run Know_Store independent from Celem. in calcelements.sml
|
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 | base |