| Sun, 09 Oct 2022 07:44:22 +0200 |
eliminate term2str in test/*
|
file | diff | annotate |
| Sun, 11 Sep 2022 14:31:15 +0200 |
resolve name clash in get_calc
|
file | diff | annotate |
| Sun, 18 Jul 2021 18:15:27 +0200 |
merged
|
file | diff | annotate |
| Sat, 17 Jul 2021 14:05:28 +0200 |
replace "-*" by "- *" for numerals "*" in test/*
|
file | diff | annotate |
| Mon, 21 Jun 2021 15:36:09 +0200 |
more antiquotations for Isabelle/HOL consts/types, without change of semantics;
|
file | diff | annotate |
| Tue, 20 Apr 2021 16:58:44 +0200 |
replace power ^^^ by \<up>
|
file | diff | annotate |
| Mon, 19 Apr 2021 15:02:00 +0200 |
long identifiers for occurences in test/../termC.sml
|
file | diff | annotate |
| Wed, 03 Jun 2020 11:25:19 +0200 |
follow 2 ancient updates of Library.ML
|
file | diff | annotate |
| Wed, 20 May 2020 12:52:09 +0200 |
standard format for string lists
|
file | diff | annotate |
| Fri, 15 May 2020 11:46:43 +0200 |
shift code from Specification to appropriate locations
|
file | diff | annotate |
| Tue, 28 Apr 2020 15:31:49 +0200 |
assign code from Rtools to appropriate struct.s
|
file | diff | annotate |
| Wed, 22 Apr 2020 11:06:48 +0200 |
shift Unsynchronized.ref for tracing to respect.struct.
|
file | diff | annotate |
| Wed, 15 Apr 2020 11:37:43 +0200 |
cleanup
|
file | diff | annotate |
| Mon, 13 Apr 2020 15:31:23 +0200 |
reorganise struct. ThmC, part 1
|
file | diff | annotate |
| Fri, 10 Apr 2020 18:32:36 +0200 |
use "UnparseC" for renaming identifiers
|
file | diff | annotate |
| Thu, 09 Apr 2020 17:13:17 +0200 |
separate struct. UnparseC, shift code to ThmC
|
file | diff | annotate |
| Wed, 08 Apr 2020 12:32:51 +0200 |
use new struct "Rule_Set" for renaming identifiers
|
file | diff | annotate |
| Mon, 06 Apr 2020 11:44:36 +0200 |
use "Rule_Set" for shorter identifiers
|
file | diff | annotate |
| Wed, 01 Apr 2020 10:24:13 +0200 |
renaming, cleanup
|
file | diff | annotate |
| Wed, 25 Mar 2020 10:38:31 +0100 |
remove unused field in Ctree
|
file | diff | annotate |
| Tue, 11 Feb 2020 11:58:45 +0100 |
introduce Step.by_tactic, part 1
|
file | diff | annotate |
| Fri, 17 Jan 2020 13:14:11 +0100 |
lucin: introduce Calc.T and Program.T
|
file | diff | annotate |
| Mon, 23 Dec 2019 16:58:36 +0100 |
shift code from mathengine-stateless.sml to Step.do_next
|
file | diff | annotate |
| Sat, 21 Dec 2019 18:05:13 +0100 |
lucin: unify do_next postponed
|
file | diff | annotate |
| Sat, 21 Dec 2019 16:45:10 +0100 |
lucin: unify do_next, partially
|
file | diff | annotate |
| Thu, 19 Dec 2019 16:41:57 +0100 |
cleanup fun solve, shift from Solve --> Step_Solve
|
file | diff | annotate |
| Thu, 21 Nov 2019 15:31:32 +0100 |
lucin: shift datatype, rename
|
file | diff | annotate |
| Wed, 18 Sep 2019 16:28:49 +0200 |
tests run in Test_Isac with ML_system_64 = "true"
|
file | diff | annotate |
| Wed, 18 Sep 2019 12:15:59 +0200 |
tests run in Test_Isac with ML_system_64 = "true", still exception Size
|
file | diff | annotate |
| Tue, 03 Sep 2019 12:40:27 +0200 |
lucin: reorganise theories in ProgLang
|
file | diff | annotate |
| Mon, 26 Aug 2019 17:40:27 +0200 |
rename Isac.thy --> Isac_Knowledge.thy
|
file | diff | annotate |
| Thu, 22 Aug 2019 16:48:04 +0200 |
lucin: rename Script --> Program
|
file | diff | annotate |
| Wed, 03 Jul 2019 15:09:16 +0200 |
lucin: fix Test_Isac, rename aux-funs in lucas-interpreter.
|
file | diff | annotate |
| Sat, 22 Jun 2019 13:15:52 +0200 |
funpack: repair remaining test/../partial_fractions.sml, inverse_z_transform.sml
|
file | diff | annotate |
| Sat, 01 Jun 2019 11:09:19 +0200 |
[-Test_Isac] funpack: repair errors in test, spot remaining errors
|
file | diff | annotate |
| Fri, 05 Apr 2019 16:40:33 +0200 |
[-Test_Isac] test/../partial_fractions ok
|
file | diff | annotate |
| Wed, 13 Mar 2019 17:44:30 +0100 |
adapt tests to e504168e7b01, dropped trick
|
file | diff | annotate |
| Thu, 07 Mar 2019 18:51:29 +0100 |
[-Test_Isac] funpack: test OK except partial_fractions, inverse_z_transform
|
file | diff | annotate |
| Fri, 30 Nov 2018 12:27:18 +0100 |
funpack: rename xxx' to xxxX preparing ''xxxX'' (''xxx''' not accepted by funpack)
|
file | diff | annotate |
| Wed, 14 Feb 2018 08:05:37 +0100 |
Isabelle2015->17: simplification changed cf. 5f9f07d37a1e
|
file | diff | annotate |
| Fri, 09 Feb 2018 11:16:05 +0100 |
Isabelle2015->17: internal string for division changed
|
file | diff | annotate |
| Wed, 07 Feb 2018 15:00:37 +0100 |
Isabelle2015->17: new negation "~ " --> "<not> "
|
file | diff | annotate |
| Thu, 22 Dec 2016 11:36:20 +0100 |
renamed Ctree.ptree --> Ctree.ctree
|
file | diff | annotate |
| Thu, 20 Oct 2016 10:26:29 +0200 |
simplify handling of theorems
|
file | diff | annotate |
| Wed, 05 Oct 2016 13:09:54 +0200 |
cleaned tests from autoCalculate' (removed ')
|
file | diff | annotate |
| Fri, 13 Jun 2014 12:42:15 +0200 |
autoCalculate now parallelized
|
file | diff | annotate |
| Fri, 13 Jun 2014 12:06:38 +0200 |
moved from "Unsynchronized.ref states" to "Synchronized.var states"
|
file | diff | annotate |
| Fri, 13 Jun 2014 10:29:06 +0200 |
last the_generic_context (in fun prep_rls) removed.
|
file | diff | annotate |
| Mon, 16 Sep 2013 12:20:00 +0200 |
Test_Isac works again, perfectly ..
|
file | diff | annotate |
| Mon, 16 Sep 2013 10:46:51 +0200 |
tolerate Var in rewriting
|
file | diff | annotate |
| Wed, 05 Dec 2012 15:29:36 +0100 |
est_Isac.thy works until "ProgLang/scrtools.sml"
|
file | diff | annotate |
| Fri, 12 Oct 2012 17:06:58 +0200 |
2011-->2012: ProofContext-->Proof_Context
|
file | diff | annotate |
| Tue, 31 Jul 2012 15:16:47 +0200 |
prepared for fun stepToErrorPatterns
|
file | diff | annotate |
| Fri, 04 May 2012 17:33:31 +0200 |
prep met ["SignalProcessing", "Z_Transform", "Inverse_sub"]
|
file | diff | annotate |
| Thu, 05 Apr 2012 16:53:43 +0200 |
renamed ID "inverse" to "Inverse" (Isabelle2002 --> 2011)
|
file | diff | annotate |
| Thu, 08 Mar 2012 14:33:34 +0100 |
interrupt Partial_Fraction.thy
|
file | diff | annotate |
| Mon, 20 Feb 2012 18:18:03 +0100 |
Jan finished his work
|
file | diff | annotate |
| Thu, 05 Jan 2012 17:43:48 +0100 |
quick&dirty solution for "drop_questionmarks"
|
file | diff | annotate |
| Thu, 08 Dec 2011 23:37:50 +0100 |
tuned and working (factors from solution)
|
file | diff | annotate |
| Thu, 13 Oct 2011 15:03:28 +0200 |
Build_Inverse_Z_Transform 1 step further
|
file | diff | annotate |