test/Tools/isac/ADDTESTS/course/SignalProcess/document/Build_Inverse_Z_Transform.tex
| Wed, 11 Jan 2023 11:38:01 +0100 |
eliminate use of Thy_Info 12: TermC partially
|
file | diff | annotate |
| Mon, 07 Nov 2022 17:37:20 +0100 |
rename fields in Method_Def.T
|
file | diff | annotate |
| Thu, 20 Oct 2022 10:23:38 +0200 |
followup 6a: tests run from @{context} without sessions
|
file | diff | annotate |
| Sat, 08 Oct 2022 11:40:48 +0200 |
follow up 5: cleanup
|
file | diff | annotate |
| Fri, 07 Oct 2022 20:46:48 +0200 |
follow up 3: MethodC.adapt_to_typ on loading by CalcTree, CalcTreeTEST
|
file | diff | annotate |
| Tue, 20 Apr 2021 16:58:44 +0200 |
replace power ^^^ by \<up>
|
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 |
| Wed, 15 Apr 2020 11:37:43 +0200 |
cleanup
|
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 |
| Mon, 06 Apr 2020 11:44:36 +0200 |
use "Rule_Set" for shorter identifiers
|
file | diff | annotate |
| Fri, 17 Jan 2020 13:14:11 +0100 |
lucin: introduce Calc.T and Program.T
|
file | diff | annotate |
| Thu, 21 Nov 2019 15:31:32 +0100 |
lucin: shift datatype, rename
|
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, 14 Feb 2018 06:06:27 +0100 |
Isabelle2015->17: completed "normalise" cf. fb6f5ef2c647
|
file | diff | annotate |
| Mon, 02 Sep 2013 16:16:08 +0200 |
Test_Isac works again, almost ..
|
file | diff | annotate |
| Wed, 05 Dec 2012 15:56:38 +0100 |
Test_Isac.thy works until "Interpret/mstools.sml"
|
file | diff | annotate |
| Fri, 12 Oct 2012 17:06:58 +0200 |
2011-->2012: ProofContext-->Proof_Context
|
file | diff | annotate |
| Thu, 05 Apr 2012 16:53:43 +0200 |
renamed ID "inverse" to "Inverse" (Isabelle2002 --> 2011)
|
file | diff | annotate |
| Wed, 07 Mar 2012 15:29:02 +0100 |
finished thesis writing, added basics of present-2
|
file | diff | annotate |
| Sat, 18 Feb 2012 15:12:19 +0100 |
tuned - bakk thesis, added some examples
|
file | diff | annotate |
| Fri, 17 Feb 2012 23:17:20 +0100 |
tuned - finished preparing latex first round
|
file | diff | annotate |
| Wed, 15 Feb 2012 18:35:41 +0100 |
tuned - formatting for latex generation
|
file | diff | annotate |
| Tue, 14 Feb 2012 22:55:03 +0100 |
tuned - partitially formated
|
file | diff | annotate |
| Sun, 12 Feb 2012 12:17:48 +0100 |
pbz part completed, next step z-trafo
|
file | diff | annotate |
| Thu, 01 Dec 2011 16:54:20 +0100 |
added new steps to the build_inverse script
|
file | diff | annotate |
| Fri, 14 Oct 2011 09:03:25 +0200 |
tuned (commit before os-setup on development system)
|
file | diff | annotate |
| Fri, 07 Oct 2011 16:54:31 +0200 |
tuned
|
file | diff | annotate |
| Wed, 28 Sep 2011 10:18:20 +0200 |
tuned
|
file | diff | annotate |
| Fri, 23 Sep 2011 16:22:11 +0200 |
partial fractions intermed.
|
file | diff | annotate |