Thu, 10 Jun 2021 11:54:20 +0200 |
wenzelm |
clarified command name: this is to register already defined rule sets in the Knowledge Store;
|
changeset |
files
|
Wed, 09 Jun 2021 20:28:42 +0200 |
wenzelm |
more TODO;
|
changeset |
files
|
Tue, 01 Jun 2021 21:01:32 +0200 |
wenzelm |
more TODO;
|
changeset |
files
|
Wed, 26 May 2021 16:24:05 +0200 |
wenzelm |
command 'setup_rule' semantic equivalent for KEStore_Elems.add_rlss;
|
changeset |
files
|
Wed, 26 May 2021 16:19:41 +0200 |
wenzelm |
more TODO;
|
changeset |
files
|
Wed, 26 May 2021 14:10:17 +0200 |
wenzelm |
more TODO;
|
changeset |
files
|
Wed, 26 May 2021 13:42:53 +0200 |
wenzelm |
more formal @{theory Complex_Main};
|
changeset |
files
|
Wed, 26 May 2021 13:27:24 +0200 |
wenzelm |
more explanations on theory lookup;
|
changeset |
files
|
Wed, 26 May 2021 13:26:55 +0200 |
wenzelm |
more TODO;
|
changeset |
files
|
Wed, 26 May 2021 13:12:03 +0200 |
wenzelm |
more formal;
|
changeset |
files
|
Wed, 26 May 2021 13:11:46 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Fri, 07 May 2021 18:12:51 +0200 |
wneuper |
* WN: simplify const names like "is'_expanded"
|
changeset |
files
|
Fri, 07 May 2021 13:23:24 +0200 |
wneuper |
discontiune writing to file, keep XML hierarchies of MethodC and Model_Pattern,
|
changeset |
files
|
Mon, 03 May 2021 09:36:47 +0200 |
wneuper |
eliminate old "not" (now a free variable) in terms
|
changeset |
files
|
Mon, 03 May 2021 08:49:50 +0200 |
wneuper |
replace Isac's power with Isabelle's Transcendental.powr
|
changeset |
files
|
Sun, 02 May 2021 15:55:37 +0200 |
wneuper |
tuned
|
changeset |
files
|
Sun, 02 May 2021 13:13:44 +0200 |
wneuper |
eliminate axiomatization, first trial
|
changeset |
files
|
Thu, 29 Apr 2021 17:08:38 +0200 |
wneuper |
tuned
|
changeset |
files
|
Thu, 29 Apr 2021 17:05:11 +0200 |
wneuper |
repair test broken in previous changeset
|
changeset |
files
|
Thu, 29 Apr 2021 17:02:10 +0200 |
wneuper |
eliminate "handle _ => ..." finished
|
changeset |
files
|
Thu, 29 Apr 2021 14:13:11 +0200 |
wneuper |
eliminate warnings from src/*, finished
|
changeset |
files
|
Thu, 29 Apr 2021 12:43:50 +0200 |
wneuper |
eliminate warnings from src/*, part 2
|
changeset |
files
|
Thu, 29 Apr 2021 11:36:11 +0200 |
wneuper |
eliminate "handle _ => ..." in Rewrite.rewrite
|
changeset |
files
|
Thu, 29 Apr 2021 09:55:06 +0200 |
wneuper |
eliminate warnings from src/*, part 1
|
changeset |
files
|
Wed, 28 Apr 2021 12:38:13 +0200 |
wneuper |
eliminate "handle _ => ..." by \<^try>CARTOUCHE in src/*
|
changeset |
files
|
Tue, 27 Apr 2021 19:52:29 +0200 |
wneuper |
eliminate "handle _ => ..." by more direct ML
|
changeset |
files
|
Tue, 27 Apr 2021 18:14:02 +0200 |
wneuper |
tuned
|
changeset |
files
|
Tue, 27 Apr 2021 18:09:22 +0200 |
wneuper |
eliminate "handle _ => ..." from Rewrite.rewrite
|
changeset |
files
|
Mon, 26 Apr 2021 14:16:35 +0200 |
wneuper |
prep.eliminate "handle _ => ..." from Rewrite.rewrite
|
changeset |
files
|
Sun, 25 Apr 2021 12:49:37 +0200 |
wneuper |
cleanup remaining ^^^ in comments, finished (?)
|
changeset |
files
|
Sun, 25 Apr 2021 12:03:49 +0200 |
wneuper |
eliminate "handle _ => ..." by \<^try>CARTOUCHE in Libisabelle/interface.sml for tests
|
changeset |
files
|
Sat, 24 Apr 2021 15:59:54 +0200 |
wneuper |
purge XML output from pbl- and met-hierarchies, finished
|
changeset |
files
|
Thu, 22 Apr 2021 21:34:20 +0200 |
wneuper |
purge XML output from pbl- and met-hierarchies, coarse part
|
changeset |
files
|
Thu, 22 Apr 2021 16:49:41 +0200 |
wneuper |
purge code for input to Kernel
|
changeset |
files
|
Thu, 22 Apr 2021 16:21:23 +0200 |
wneuper |
purge code for theory hierarchy
|
changeset |
files
|
Thu, 22 Apr 2021 12:53:26 +0200 |
wneuper |
ATTENTION: previous commit is flawed
|
changeset |
files
|
Thu, 22 Apr 2021 12:49:13 +0200 |
wneuper |
prep. purge code for libisabelle
|
changeset |
files
|
Wed, 21 Apr 2021 11:47:33 +0200 |
wneuper |
merged
|
changeset |
files
|
Wed, 21 Apr 2021 11:47:30 +0200 |
wneuper |
check remaining "for tests only" wrt. \<^isac_test>CARTOUCHE
|
changeset |
files
|
Wed, 21 Apr 2021 11:24:46 +0200 |
wenzelm |
more TODO;
|
changeset |
files
|
Wed, 21 Apr 2021 10:09:14 +0200 |
wneuper |
merged
|
changeset |
files
|
Wed, 21 Apr 2021 10:04:17 +0200 |
wneuper |
done TODO caused by ac7426ab0491
|
changeset |
files
|
Tue, 20 Apr 2021 23:20:45 +0200 |
wenzelm |
more TODO;
|
changeset |
files
|
Tue, 20 Apr 2021 21:31:00 +0200 |
wenzelm |
more uniform use of Isabelle/HOL within Isac;
|
changeset |
files
|
Tue, 20 Apr 2021 17:21:08 +0200 |
wneuper |
more TODO caused by ac7426ab0491
|
changeset |
files
|
Tue, 20 Apr 2021 17:10:02 +0200 |
wneuper |
remove de/encode for ^^^
|
changeset |
files
|
Tue, 20 Apr 2021 16:58:49 +0200 |
wneuper |
merged
|
changeset |
files
|
Tue, 20 Apr 2021 16:58:44 +0200 |
wneuper |
replace power ^^^ by \<up>
|
changeset |
files
|
Tue, 20 Apr 2021 13:32:43 +0200 |
wenzelm |
more TODO;
|
changeset |
files
|
Mon, 19 Apr 2021 20:44:18 +0200 |
wenzelm |
less ambitious ML_print_depth: 20 instead of 999;
|
changeset |
files
|
Mon, 19 Apr 2021 20:33:04 +0200 |
wenzelm |
obsolete;
|
changeset |
files
|
Mon, 19 Apr 2021 20:31:24 +0200 |
wenzelm |
done;
|
changeset |
files
|
Mon, 19 Apr 2021 20:12:53 +0200 |
wenzelm |
session Isac_Test works again: de0ccac9f862 removes confusion that lead to partial/breaking changes in 0ca0f9363ad3;
|
changeset |
files
|
Mon, 19 Apr 2021 19:55:31 +0200 |
wenzelm |
no \<^isac_test> guard for test material: thus the Prover IDE does not have to switch the option "isac_test";
|
changeset |
files
|
Mon, 19 Apr 2021 18:05:01 +0200 |
wenzelm |
more hints;
|
changeset |
files
|
Mon, 19 Apr 2021 18:04:48 +0200 |
wenzelm |
updated TODO;
|
changeset |
files
|
Mon, 19 Apr 2021 15:48:46 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Mon, 19 Apr 2021 15:27:18 +0200 |
wenzelm |
back to repository location as path that is relative to the current directory:
|
changeset |
files
|
Mon, 19 Apr 2021 15:02:11 +0200 |
wneuper |
merged
|
changeset |
files
|
Mon, 19 Apr 2021 15:02:00 +0200 |
wneuper |
long identifiers for occurences in test/../termC.sml
|
changeset |
files
|