| 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 |