| Thu, 04 Aug 2022 15:38:42 +0200 |
cleanup
|
file | diff | annotate |
| Thu, 04 Aug 2022 12:48:37 +0200 |
polish naming in Rewrite_Order
|
file | diff | annotate |
| Tue, 21 Jun 2022 12:41:52 +0200 |
rename functions in o-model.sml finish
|
file | diff | annotate |
| Mon, 20 Jun 2022 18:43:51 +0200 |
merged
|
file | diff | annotate |
| Mon, 20 Jun 2022 17:42:49 +0200 |
intermed 4
|
file | diff | annotate |
| Mon, 20 Jun 2022 18:37:54 +0200 |
rename functions in o-model.sml
|
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 |
| Mon, 29 Jun 2020 15:43:35 +0200 |
code polishing
|
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 |
| 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 15:31:49 +0200 |
assign code from Rtools to appropriate struct.s
|
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 |
| Tue, 21 Apr 2020 12:26:08 +0200 |
use "Store" for renaming identifiers
|
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 |
| Mon, 20 Apr 2020 16:47:01 +0200 |
rename remaining struct.s Celem5..Celem8
|
file | diff | annotate | base |