Sat, 04 Feb 2023 17:00:25 +0100 |
eliminate use of Thy_Info 22: eliminate UnparseC.term, rename "_in_ctxt" -> ""
|
file | diff | annotate |
Fri, 03 Feb 2023 12:05:30 +0100 |
eliminate use of Thy_Info 16: eliminate UnparseC.terms in src/*, too
|
file | diff | annotate |
Thu, 26 Jan 2023 18:54:25 +0100 |
use exclusively some new *.to_string ctxt
|
file | diff | annotate |
Tue, 10 Jan 2023 17:07:53 +0100 |
eliminate use of Thy_Info 10: arg. ctxt for Rule.to_string finished
|
file | diff | annotate |
Mon, 09 Jan 2023 16:40:54 +0100 |
eliminate use of Thy_Info 8: arg. ctxt for Rule.to_string, partially
|
file | diff | annotate |
Mon, 09 Jan 2023 16:11:17 +0100 |
eliminate use of Thy_Info 6: improved ThmC.*_sym_rule
|
file | diff | annotate |
Thu, 22 Dec 2022 17:06:19 +0100 |
make Minisubplb/800-append-on-Frm.sml independent from Thy_Info
|
file | diff | annotate |
Thu, 22 Dec 2022 10:27:12 +0100 |
make Minisubplb/800-append-on-Frm.sml independent from Thy_Info
|
file | diff | annotate |
Thu, 08 Dec 2022 17:55:45 +0100 |
make Minisubplb/400-start-meth-subpbl.sml from Thy_Info
|
file | diff | annotate |
Wed, 16 Nov 2022 10:29:52 +0100 |
make Minisubplb/200-start-method independent #2: Tactic.Rewrite_Set partially
|
file | diff | annotate |
Mon, 07 Nov 2022 17:37:20 +0100 |
rename fields in Method_Def.T
|
file | diff | annotate |
Sat, 08 Oct 2022 11:40:48 +0200 |
follow up 5: cleanup
|
file | diff | annotate |
Thu, 29 Sep 2022 18:02:10 +0200 |
build clean -- rollback
|
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 14:47:05 +0200 |
prepare test 1 for: push ctxt through LI; no relevant calls found.
|
file | diff | annotate |
Tue, 16 Aug 2022 12:21:21 +0200 |
prepare src for: push ctxt throught Lucas-Interpretation
|
file | diff | annotate |
Sat, 06 Aug 2022 19:05:33 +0200 |
push Proof.context through Fetch_Tacs.specific_from_prog
|
file | diff | annotate |
Sat, 06 Aug 2022 18:50:43 +0200 |
push Proof.context through Derive.steps, note HACK
|
file | diff | annotate |
Fri, 05 Aug 2022 12:30:16 +0200 |
push Proof.context through Eval.adhoc_thm
|
file | diff | annotate |
Thu, 04 Aug 2022 12:48:37 +0200 |
polish naming in Rewrite_Order
|
file | diff | annotate |
Sun, 31 Jul 2022 12:39:07 +0200 |
eliminate global flags of Rewrite.*
|
file | diff | annotate |
Sat, 30 Jul 2022 16:47:45 +0200 |
eliminate global flag Rewrite.trace_on
|
file | diff | annotate |
Mon, 19 Jul 2021 18:29:46 +0200 |
cleanup after "eliminate ThmC.numerals_to_Free"
|
file | diff | annotate |
Thu, 29 Apr 2021 14:13:11 +0200 |
eliminate warnings from src/*, finished
|
file | diff | annotate |
Tue, 27 Apr 2021 19:52:29 +0200 |
eliminate "handle _ => ..." by more direct ML
|
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, 12 May 2020 17:42:29 +0200 |
shift code from struct.Specify to appropriate locations
|
file | diff | annotate |
Mon, 04 May 2020 11:13:16 +0200 |
cleanup struct.Derive
|
file | diff | annotate |
Mon, 04 May 2020 09:25:51 +0200 |
separate Solve_Step.add, rearrange code, prep. Specify_Step
|
file | diff | annotate |
Thu, 23 Apr 2020 12:34:54 +0200 |
use "Derive" for renaming identifiers
|
file | diff | annotate |
Thu, 23 Apr 2020 09:29:56 +0200 |
separate struct. Derive
|
file | diff | annotate |