Thu, 04 Aug 2022 12:48:37 +0200 |
polish naming in Rewrite_Order
|
file | diff | annotate |
Sun, 31 Jul 2022 13:23:38 +0200 |
eliminate global flag Check_Unique.on
|
file | diff | annotate |
Tue, 16 Nov 2021 18:26:57 +0100 |
unify parse 4: eliminate parse, simple cases
|
file | diff | annotate |
Tue, 27 Jul 2021 11:21:14 +0200 |
revert previous changeset
|
file | diff | annotate |
Tue, 20 Jul 2021 14:37:56 +0200 |
//reduce the number of TermC.parse*; "//"means: tests broken .
|
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 |
Sun, 20 Jun 2021 16:30:56 +0200 |
tuned --- adapted to problem.sml;
|
file | diff | annotate |
Tue, 15 Jun 2021 22:24:20 +0200 |
Isar command 'method' as combination of KEStore_Elems.add_mets + MethodC.prep_import, without change of semantics;
|
file | diff | annotate |
Wed, 28 Apr 2021 12:38:13 +0200 |
eliminate "handle _ => ..." by \<^try>CARTOUCHE in src/*
|
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 |
Wed, 13 May 2020 16:10:22 +0200 |
shift code from Specify to Problem, Method, Test_Tool
|
file | diff | annotate |
Tue, 12 May 2020 17:42:29 +0200 |
shift code from struct.Specify to appropriate locations
|
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 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 |