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 |