| Fri, 01 May 2020 15:28:40 +0200 |
Walther Neuper |
separate Solve_Step.check, repair ALL of Test_Isac_Short
|
changeset |
files
|
| Wed, 29 Apr 2020 12:30:51 +0200 |
Walther Neuper |
prep. separation of check Applicable between specify-phase and solve-phase
|
changeset |
files
|
| Wed, 29 Apr 2020 09:03:01 +0200 |
Walther Neuper |
comments on relation between files.
|
changeset |
files
|
| Tue, 28 Apr 2020 19:39:06 +0200 |
Walther Neuper |
move code from struct.Celem to appropriate struct.s
|
changeset |
files
|
| Tue, 28 Apr 2020 17:50:18 +0200 |
Walther Neuper |
separate struct.Thy_Present, rename Thy_Html to Thy_Write
|
changeset |
files
|
| Tue, 28 Apr 2020 16:51:36 +0200 |
Walther Neuper |
separate struct.Thy_Read
|
changeset |
files
|
| Tue, 28 Apr 2020 15:44:59 +0200 |
Walther Neuper |
cleanup ThmC
|
changeset |
files
|
| Tue, 28 Apr 2020 15:31:49 +0200 |
Walther Neuper |
assign code from Rtools to appropriate struct.s
|
changeset |
files
|
| Mon, 27 Apr 2020 16:40:11 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
| Mon, 27 Apr 2020 16:37:56 +0200 |
Walther Neuper |
clarify types of Subst
|
changeset |
files
|
| Mon, 27 Apr 2020 12:36:21 +0200 |
Walther Neuper |
separate struct.Subst, rename idenfitiers
|
changeset |
files
|
| Fri, 24 Apr 2020 09:01:48 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
| Fri, 24 Apr 2020 08:51:05 +0200 |
Walther Neuper |
separate struct.Error_Pattern, rename identifiers
|
changeset |
files
|
| Thu, 23 Apr 2020 15:48:31 +0200 |
Walther Neuper |
separate struct.State_Steps, rename
|
changeset |
files
|
| Thu, 23 Apr 2020 12:34:54 +0200 |
Walther Neuper |
use "Derive" for renaming identifiers
|
changeset |
files
|
| Thu, 23 Apr 2020 09:29:56 +0200 |
Walther Neuper |
separate struct. Derive
|
changeset |
files
|
| Wed, 22 Apr 2020 16:53:03 +0200 |
Walther Neuper |
cleanup Celem
|
changeset |
files
|
| Wed, 22 Apr 2020 16:01:53 +0200 |
Walther Neuper |
use "Check_Unique" for renaming identifiers
|
changeset |
files
|
| Wed, 22 Apr 2020 14:36:27 +0200 |
Walther Neuper |
use "Spec", "Problem", "Method" for renaming identifiers
|
changeset |
files
|
| Wed, 22 Apr 2020 11:23:30 +0200 |
Walther Neuper |
rename file according to struct.; start renaming with "Spec"
|
changeset |
files
|
| Wed, 22 Apr 2020 11:06:48 +0200 |
Walther Neuper |
shift Unsynchronized.ref for tracing to respect.struct.
|
changeset |
files
|
| Tue, 21 Apr 2020 16:53:17 +0200 |
Walther Neuper |
Test_Isac_Short now ok.
|
changeset |
files
|
| Tue, 21 Apr 2020 16:16:11 +0200 |
Walther Neuper |
remove unused code from Celem
|
changeset |
files
|
| Tue, 21 Apr 2020 15:42:50 +0200 |
Walther Neuper |
replace Celem. with new struct.s in BaseDefinitions/
|
changeset |
files
|
| Tue, 21 Apr 2020 12:26:08 +0200 |
Walther Neuper |
use "Store" for renaming identifiers
|
changeset |
files
|
| Tue, 21 Apr 2020 11:28:20 +0200 |
Walther Neuper |
CAS_Cmd appears independent from CAS_Def (required for Know_Store)
|
changeset |
files
|
| Tue, 21 Apr 2020 10:53:04 +0200 |
Walther Neuper |
derive Method.T from Meth_Def.T, drop funs and types used by Know_Store
|
changeset |
files
|
| Tue, 21 Apr 2020 10:13:30 +0200 |
Walther Neuper |
derive Problem from Probl_Def, drop funs and types used by Know_Store
|
changeset |
files
|
| Mon, 20 Apr 2020 16:47:01 +0200 |
Walther Neuper |
rename remaining struct.s Celem5..Celem8
|
changeset |
files
|
| Mon, 20 Apr 2020 15:54:19 +0200 |
Walther Neuper |
separate Check_Unique, an exercise in higher order funs
|
changeset |
files
|
| Sun, 19 Apr 2020 16:43:53 +0200 |
Walther Neuper |
proper names for Celem1, Celem3
|
changeset |
files
|
| Sun, 19 Apr 2020 16:17:27 +0200 |
Walther Neuper |
rename Celem1 to Store
|
changeset |
files
|
| Sun, 19 Apr 2020 15:51:31 +0200 |
Walther Neuper |
run Know_Store independent from Celem. in calcelements.sml
|
changeset |
files
|
| Sun, 19 Apr 2020 15:37:39 +0200 |
Walther Neuper |
run Know_Store with Celem1..91 via Celem in calcelements.sml
|
changeset |
files
|
| Sun, 19 Apr 2020 12:22:37 +0200 |
Walther Neuper |
rename KEStore to Know_Store, replace respect.part of Celem with Celem1
|
changeset |
files
|
| Sun, 19 Apr 2020 11:07:02 +0200 |
Walther Neuper |
switch "activate for Test_Isac .." back to Build_Isac
|
changeset |
files
|
| Fri, 17 Apr 2020 18:47:29 +0200 |
Walther Neuper |
Test_Isac_Short OK (except the 2 strange errors)
|
changeset |
files
|
| Fri, 17 Apr 2020 18:40:14 +0200 |
Walther Neuper |
struct.Celem is taken apart in preliminary struct.s
|
changeset |
files
|
| Fri, 17 Apr 2020 15:19:02 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
| Fri, 17 Apr 2020 15:12:19 +0200 |
Walther Neuper |
prep. take apart struct.Celem
|
changeset |
files
|
| Wed, 15 Apr 2020 18:00:58 +0200 |
Walther Neuper |
collect code in ThyC
|
changeset |
files
|
| Wed, 15 Apr 2020 16:46:41 +0200 |
Walther Neuper |
use "ThyC" for renaming identifiers finished, cleanup
|
changeset |
files
|
| Wed, 15 Apr 2020 13:47:56 +0200 |
Walther Neuper |
use "ThyC" for renaming identifiers
|
changeset |
files
|
| Wed, 15 Apr 2020 11:37:43 +0200 |
Walther Neuper |
cleanup
|
changeset |
files
|
| Wed, 15 Apr 2020 11:11:54 +0200 |
Walther Neuper |
cleanup handling of ThmC.sym_thm
|
changeset |
files
|
| Wed, 15 Apr 2020 10:07:43 +0200 |
Walther Neuper |
use "ThmC" for renaming identifiers
|
changeset |
files
|
| Tue, 14 Apr 2020 15:56:15 +0200 |
Walther Neuper |
use "ThmC_Def" for renaming identifiers
|
changeset |
files
|
| Tue, 14 Apr 2020 12:39:26 +0200 |
Walther Neuper |
reorganise struct. ThmC, part 3 end
|
changeset |
files
|
| Mon, 13 Apr 2020 18:37:24 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
| Mon, 13 Apr 2020 18:32:01 +0200 |
Walther Neuper |
reorganise struct. ThmC, part 2
|
changeset |
files
|
| Mon, 13 Apr 2020 15:31:23 +0200 |
Walther Neuper |
reorganise struct. ThmC, part 1
|
changeset |
files
|
| Mon, 13 Apr 2020 13:27:55 +0200 |
Walther Neuper |
improve renaming
|
changeset |
files
|
| Mon, 13 Apr 2020 13:13:07 +0200 |
Walther Neuper |
improve comments
|
changeset |
files
|
| Fri, 10 Apr 2020 18:32:36 +0200 |
Walther Neuper |
use "UnparseC" for renaming identifiers
|
changeset |
files
|
| Fri, 10 Apr 2020 16:16:09 +0200 |
Walther Neuper |
use "Rule" and "Rule_Set" for renaming identifiers
|
changeset |
files
|
| Fri, 10 Apr 2020 15:02:50 +0200 |
Walther Neuper |
rename directory CalcElements to BaseDefinitions
|
changeset |
files
|
| Fri, 10 Apr 2020 14:46:55 +0200 |
Walther Neuper |
rearrange code for ThmC
|
changeset |
files
|
| Fri, 10 Apr 2020 12:28:47 +0200 |
Walther Neuper |
rearrange code in Rule_Set and Rule, finished
|
changeset |
files
|
| Thu, 09 Apr 2020 18:21:09 +0200 |
Walther Neuper |
rearrange code in Rule_Set and Rule
|
changeset |
files
|
| Thu, 09 Apr 2020 17:16:48 +0200 |
Walther Neuper |
shift code to ThyC
|
changeset |
files
|