test/Tools/isac/ADDTESTS/course/SignalProcess/document/Build_Inverse_Z_Transform.tex
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 |