| 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 |
| Thu, 13 Oct 2011 10:50:20 +0200 |
tuned
|
file | diff | annotate |
| Tue, 11 Oct 2011 16:43:02 +0200 |
tuned
|
file | diff | annotate |
| Tue, 11 Oct 2011 10:59:42 +0200 |
in Build_Inverse_Z_Transform one step further
|
file | diff | annotate |
| Thu, 06 Oct 2011 17:43:00 +0200 |
intermed. Build_Inverse_Z_Transform:
|
file | diff | annotate |
| Fri, 23 Sep 2011 16:22:11 +0200 |
partial fractions intermed.
|
file | diff | annotate |