| Wed, 07 Sep 2011 10:07:13 +0200 | intermed. pqformula for Z-transform | file | diff | annotate |
| Wed, 23 Mar 2011 17:20:39 +0100 | make Test_Isac.thy run in jEdit; intermed. | file | diff | annotate |
| Thu, 10 Mar 2011 16:04:00 +0100 | intermed.update Isabelle2011: HOL.True | file | diff | annotate |
| Tue, 28 Sep 2010 09:06:56 +0200 | tuned error and writeln | file | diff | annotate |
| Wed, 08 Sep 2010 16:47:22 +0200 | tuned src + test | file | diff | annotate |
| Mon, 30 Aug 2010 14:35:51 +0200 | renamed test/* according to src/* | file | diff | annotate | base |