| Mon, 12 Jul 2021 17:21:37 +0200 |
wneuper |
Test_Some.thy + rewrite.sml + poly.sml ok: repair poly_of_term
|
changeset |
files
|
| Sat, 03 Jul 2021 16:21:07 +0200 |
wneuper |
//test/../rewrite.sml,poly.sml WORK
|
changeset |
files
|
| Tue, 01 Jun 2021 15:41:23 +0200 |
wneuper |
Test_Some.thy with looping ML<>
|
changeset |
files
|
| Mon, 21 Jun 2021 22:08:01 +0200 |
wenzelm |
updated TODO;
|
changeset |
files
|
| Mon, 21 Jun 2021 21:59:10 +0200 |
wenzelm |
updated TODO;
|
changeset |
files
|
| Mon, 21 Jun 2021 21:53:23 +0200 |
wenzelm |
Isar command 'cas' as front-end for KEStore_Elems.add_cas, without change of semantics;
|
changeset |
files
|
| Mon, 21 Jun 2021 20:06:12 +0200 |
wenzelm |
Isar command 'calculation' as front-end for KEStore_Elems.add_calcs, without change of semantics;
|
changeset |
files
|
| Mon, 21 Jun 2021 16:18:27 +0200 |
wenzelm |
more antiquotations, without change of semantics;
|
changeset |
files
|
| Mon, 21 Jun 2021 15:50:58 +0200 |
wenzelm |
updated TODO;
|
changeset |
files
|
| Mon, 21 Jun 2021 15:42:53 +0200 |
wenzelm |
proper formal names for consts/types, *with* change of semantics;
|
changeset |
files
|
| Mon, 21 Jun 2021 15:36:09 +0200 |
wenzelm |
more antiquotations for Isabelle/HOL consts/types, without change of semantics;
|
changeset |
files
|
| Mon, 21 Jun 2021 14:39:52 +0200 |
wenzelm |
proper UTF-8;
|
changeset |
files
|
| Sun, 20 Jun 2021 16:30:56 +0200 |
wenzelm |
tuned --- adapted to problem.sml;
|
changeset |
files
|
| Sun, 20 Jun 2021 16:26:18 +0200 |
wenzelm |
Isar command 'problem' as combination of KEStore_Elems.add_pbts + Problem.prep_import, without change of semantics;
|
changeset |
files
|
| Sun, 20 Jun 2021 12:45:03 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 16 Jun 2021 12:56:09 +0200 |
wenzelm |
updated TODO;
|
changeset |
files
|
| Tue, 15 Jun 2021 22:24:20 +0200 |
wenzelm |
Isar command 'method' as combination of KEStore_Elems.add_mets + MethodC.prep_import, without change of semantics;
|
changeset |
files
|
| Sat, 12 Jun 2021 18:33:15 +0200 |
wenzelm |
updated TODO;
|
changeset |
files
|
| Sat, 12 Jun 2021 18:30:31 +0200 |
wenzelm |
updated TODO;
|
changeset |
files
|
| Sat, 12 Jun 2021 18:30:17 +0200 |
wenzelm |
removed junk;
|
changeset |
files
|
| Sat, 12 Jun 2021 18:27:30 +0200 |
wenzelm |
use more antiquotations;
|
changeset |
files
|
| Sat, 12 Jun 2021 18:22:07 +0200 |
wenzelm |
use more antiquotations;
|
changeset |
files
|
| Sat, 12 Jun 2021 18:06:27 +0200 |
wenzelm |
use more antiquotations;
|
changeset |
files
|
| Sat, 12 Jun 2021 14:29:10 +0200 |
wenzelm |
ML antiquotations for Rule.Thm, with special treatment of symmetric rule;
|
changeset |
files
|
| Sat, 12 Jun 2021 14:27:03 +0200 |
wenzelm |
updated TODO;
|
changeset |
files
|
| Fri, 11 Jun 2021 11:49:34 +0200 |
wenzelm |
ML antiquotation for formally checked Rule.Eval;
|
changeset |
files
|
| Thu, 10 Jun 2021 17:06:32 +0200 |
wenzelm |
tuned signatures (SML'97 allows type abbreviations);
|
changeset |
files
|
| Thu, 10 Jun 2021 12:53:02 +0200 |
wenzelm |
more TODO;
|
changeset |
files
|
| Thu, 10 Jun 2021 12:48:50 +0200 |
wenzelm |
clarified theory context: avoid global "val thy = ..." hanging around (left-over from Isabelle2005), which is apt to various pitfalls;
|
changeset |
files
|
| Thu, 10 Jun 2021 12:23:57 +0200 |
wenzelm |
clarified theory context: from current command instead of earlier state;
|
changeset |
files
|
| 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
|