Wed, 03 Aug 2022 18:17:27 +0200 |
cleanup
|
file | diff | annotate |
Wed, 03 Aug 2022 17:18:47 +0200 |
replace val rew_ord' = Unsynchronized.ref by Theory_Data
|
file | diff | annotate |
Wed, 03 Aug 2022 13:22:36 +0200 |
replace val example_store = Unsynchronized.ref by Thy_Data
|
file | diff | annotate |
Sun, 31 Jul 2022 13:23:38 +0200 |
eliminate global flag Check_Unique.on
|
file | diff | annotate |
Wed, 27 Jul 2022 13:59:58 +0200 |
polish naming
|
file | diff | annotate |
Mon, 21 Jun 2021 21:53:23 +0200 |
Isar command 'cas' as front-end for KEStore_Elems.add_cas, without change of semantics;
|
file | diff | annotate |
Mon, 21 Jun 2021 20:06:12 +0200 |
Isar command 'calculation' as front-end for KEStore_Elems.add_calcs, without change of semantics;
|
file | diff | annotate |
Thu, 10 Jun 2021 11:54:20 +0200 |
clarified command name: this is to register already defined rule sets in the Knowledge Store;
|
file | diff | annotate |
Wed, 26 May 2021 16:24:05 +0200 |
command 'setup_rule' semantic equivalent for KEStore_Elems.add_rlss;
|
file | diff | annotate |
Sun, 18 Apr 2021 23:37:59 +0200 |
conditional compilation via system option "isac_test" and antiquotation \<^isac_test>CARTOUCHE:
|
file | diff | annotate |
Wed, 03 Feb 2021 16:39:44 +0100 |
Isac's MethodC not shadowing Isabelle's Method
|
file | diff | annotate |
Fri, 15 May 2020 19:31:04 +0200 |
shift code from Specification to References, separate References_Def
|
file | diff | annotate |
Thu, 14 May 2020 09:30:40 +0200 |
start renaming Specification -> References;
|
file | diff | annotate |
Mon, 11 May 2020 11:38:52 +0200 |
error -> raise ERROR
|
file | diff | annotate |
Thu, 07 May 2020 11:42:19 +0200 |
proper naming for Problem_Pattern (+ show old names)
|
file | diff | annotate |
Wed, 29 Apr 2020 09:03:01 +0200 |
comments on relation between files.
|
file | diff | annotate |
Tue, 28 Apr 2020 17:50:18 +0200 |
separate struct.Thy_Present, rename Thy_Html to Thy_Write
|
file | diff | annotate |
Fri, 24 Apr 2020 08:51:05 +0200 |
separate struct.Error_Pattern, rename identifiers
|
file | diff | annotate |
Wed, 22 Apr 2020 16:01:53 +0200 |
use "Check_Unique" for renaming identifiers
|
file | diff | annotate |
Wed, 22 Apr 2020 14:36:27 +0200 |
use "Spec", "Problem", "Method" for renaming identifiers
|
file | diff | annotate |
Wed, 22 Apr 2020 11:23:30 +0200 |
rename file according to struct.; start renaming with "Spec"
|
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: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 |