Thu, 29 Sep 2022 18:02:10 +0200 |
build clean -- rollback
|
file | diff | annotate |
Mon, 26 Sep 2022 10:57:53 +0200 |
follow up 2: Problem.adapt_to_typ on loading by CalcTree, CalcTreeTEST
|
file | diff | annotate |
Fri, 09 Sep 2022 10:53:51 +0200 |
eliminate KEStore_Elems.get_thes, add_thes 2: get_rew_ord finished
|
file | diff | annotate |
Wed, 07 Sep 2022 14:51:58 +0200 |
eliminate KEStore_Elems.get_thes, add_thes 1: get_rls 2: shift parent_node
|
file | diff | annotate |
Wed, 07 Sep 2022 10:58:12 +0200 |
eliminate KEStore_Elems.get_thes, add_thes 1: get_rls 1
|
file | diff | annotate |
Wed, 24 Aug 2022 19:02:19 +0200 |
use Eval.* instead of Eval_Def.* wherever possible
|
file | diff | annotate |
Wed, 24 Aug 2022 18:29:33 +0200 |
polish naming in structure Eval
|
file | diff | annotate |
Wed, 24 Aug 2022 17:21:14 +0200 |
polish naming in Rule_Def for Eval
|
file | diff | annotate |
Mon, 22 Aug 2022 13:39:32 +0200 |
push ctxt through LI (Lucas-Interpreter)
|
file | diff | annotate |
Sun, 21 Aug 2022 11:22:04 +0200 |
//prepare test 3 for: push ctxt through LI (only CAS_Cmd not OK)
|
file | diff | annotate |
Tue, 16 Aug 2022 12:21:21 +0200 |
prepare src for: push ctxt throught Lucas-Interpretation
|
file | diff | annotate |
Thu, 04 Aug 2022 12:48:37 +0200 |
polish naming in Rewrite_Order
|
file | diff | annotate |
Wed, 03 Aug 2022 17:18:47 +0200 |
replace val rew_ord' = Unsynchronized.ref by Theory_Data
|
file | diff | annotate |
Sat, 30 Jul 2022 16:47:45 +0200 |
eliminate global flag Rewrite.trace_on
|
file | diff | annotate |
Tue, 21 Jun 2022 16:04:43 +0200 |
rename functions in i-model.sml
|
file | diff | annotate |
Tue, 10 Aug 2021 11:01:18 +0200 |
eliminate ThyC.to_ctxt, use Proof_Context.init_global inline
|
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 |
Tue, 19 May 2020 12:33:35 +0200 |
adapt test/../Specify/* to new files in src/../Specify/*
|
file | diff | annotate |
Tue, 12 May 2020 17:42:29 +0200 |
shift code from struct.Specify to appropriate locations
|
file | diff | annotate |
Mon, 11 May 2020 11:38:52 +0200 |
error -> raise ERROR
|
file | diff | annotate |
Sun, 10 May 2020 17:26:36 +0200 |
cleanup generate.sml, model.sml
|
file | diff | annotate |
Tue, 05 May 2020 15:39:20 +0200 |
assign code struct.O_Model and I_Model, part 2: model.sml is clean
|
file | diff | annotate |
Mon, 04 May 2020 13:27:45 +0200 |
remove unused code
|
file | diff | annotate |
Mon, 04 May 2020 12:38:16 +0200 |
end cleanup Interpret/*, preliminary
|
file | diff | annotate |
Mon, 04 May 2020 10:19:16 +0200 |
spearate Specify_Step.add
|
file | diff | annotate |
Mon, 04 May 2020 09:25:51 +0200 |
separate Solve_Step.add, rearrange code, prep. Specify_Step
|
file | diff | annotate |
Sat, 02 May 2020 17:39:04 +0200 |
prep. new Solve_Step.add
|
file | diff | annotate |
Sat, 02 May 2020 16:34:42 +0200 |
Solve_Check: postpone parsing input to _ option
|
file | diff | annotate |
Sat, 02 May 2020 15:41:27 +0200 |
simplify Solve_Step.check, remove CAScmd (is not a tactic)
|
file | diff | annotate |
Sat, 02 May 2020 12:13:20 +0200 |
remove unused tactics, finish
|
file | diff | annotate |
Sat, 02 May 2020 10:57:04 +0200 |
remove unused tactics, part 1
|
file | diff | annotate |
Fri, 01 May 2020 17:17:41 +0200 |
unify sequence of tactics
|
file | diff | annotate |
Fri, 01 May 2020 16:06:59 +0200 |
separate Specify_Step.check
|
file | diff | annotate |
Fri, 01 May 2020 15:28:40 +0200 |
separate Solve_Step.check, repair ALL of Test_Isac_Short
|
file | diff | annotate |
Wed, 29 Apr 2020 12:30:51 +0200 |
prep. separation of check Applicable between specify-phase and solve-phase
|
file | diff | annotate |