Sat, 17 Mar 2012 11:06:46 +0100 |
uncomment test/../rateq.sml (Isabelle 2002 --> 2011)
|
file | diff | annotate |
Sat, 10 Mar 2012 09:41:09 +0100 |
uncomment test/../biegelinie (Isabelle 2002 --> 2011)
|
file | diff | annotate |
Fri, 14 Oct 2011 14:33:25 +0200 |
end repair test/../polyeq.sml
|
file | diff | annotate |
Fri, 14 Oct 2011 11:43:00 +0200 |
begin repair test/../polyeq.sml
|
file | diff | annotate |
Fri, 23 Sep 2011 13:58:27 +0200 |
tuned
|
file | diff | annotate |
Sun, 18 Sep 2011 15:21:46 +0200 |
dmeindl references
|
file | diff | annotate |
Sat, 10 Sep 2011 10:56:24 +0200 |
tuned
|
file | diff | annotate |
Sat, 10 Sep 2011 10:37:24 +0200 |
method ["PolyEq", "solve_d2_polyeq_pq_equation"] works for jrocnik
|
file | diff | annotate |
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 |