| Thu, 11 Jul 2013 16:58:31 +0200 |
end of improving tests for isac on Isabelle2012
|
file | diff | annotate |
| Tue, 18 Jun 2013 17:51:36 +0200 |
Test_Isac.thy started in Isabelle2012
|
file | diff | annotate |
| Sun, 16 Jun 2013 12:31:41 +0200 |
Isabelle2011 --> 2012 intermediate
|
file | diff | annotate |
| Sun, 14 Oct 2012 20:00:27 +0200 |
2011-->2012: ...
|
file | diff | annotate |
| Mon, 06 Aug 2012 10:38:11 +0200 |
PROVISIONALLY MADE TESTS RUN with Unsynchronized.ref
|
file | diff | annotate |
| Fri, 04 May 2012 17:33:31 +0200 |
prep met ["SignalProcessing", "Z_Transform", "Inverse_sub"]
|
file | diff | annotate |
| Fri, 04 May 2012 08:51:42 +0200 |
made 3 exps SignalProcessing run
|
file | diff | annotate |
| Thu, 05 Apr 2012 11:31:56 +0200 |
thydata created (Isabelle2002 --> 2011)
|
file | diff | annotate |
| Tue, 20 Mar 2012 15:32:17 +0100 |
intermed. fun the_hier, build thy-hierarchy
|
file | diff | annotate |
| Sun, 19 Feb 2012 10:03:51 +0100 |
protocol dmeindl, decomment Test_Isac
|
file | diff | annotate |
| Thu, 22 Sep 2011 14:43:47 +0200 |
moved latex for Inverse_Z_Transform to ADDTESTS
|
file | diff | annotate |
| Tue, 20 Sep 2011 18:09:46 +0200 |
integrated Inverse_Z_Transform into Knowledge
|
file | diff | annotate |
| Thu, 17 Mar 2011 10:11:18 +0100 |
intermed. usecase Diophant
|
file | diff | annotate |
| Thu, 10 Mar 2011 17:05:09 +0100 |
intermed.update Isabelle2011: Not --> HOL.Not
|
file | diff | annotate |
| Thu, 03 Mar 2011 17:37:46 +0100 |
Update to Isabelle 2011: Build_Isac works now
|
file | diff | annotate |
| Thu, 28 Oct 2010 09:24:47 +0200 |
intermed. repair thehier, the hierarchy of thy/thm for access by isac.
|
file | diff | annotate |
| Mon, 11 Oct 2010 14:22:19 +0200 |
intermed. repair test/../thy-hierarchy.sml, thehier := the_hier ...
|
file | diff | annotate |
| Mon, 11 Oct 2010 13:31:22 +0200 |
removed all ".thy" in src/ and test/
|
file | diff | annotate |
| Mon, 11 Oct 2010 12:55:40 +0200 |
intermed. repair Isac.thy, thehier := the_hier ...
|
file | diff | annotate |
| Thu, 23 Sep 2010 16:38:25 +0200 |
changed 'writeln' --> 'tracing' in src/ and _NOT_ in test/
|
file | diff | annotate |
| Fri, 10 Sep 2010 12:15:18 +0200 |
----- update of isac SYNTAX Isabelle2002 --> Isabelle2009-2 finished.
|
file | diff | annotate |
| Fri, 10 Sep 2010 11:58:46 +0200 |
intermediate in Knowledge/Isac.thy
|
file | diff | annotate |
| Tue, 31 Aug 2010 15:36:57 +0200 |
updated Knowledge/Atools.thy + some changes + changes ahead
|
file | diff | annotate |
| Fri, 27 Aug 2010 14:56:54 +0200 |
updated syntax of all thys, semantic check until Atools.thy
|
file | diff | annotate |
| Wed, 25 Aug 2010 16:20:07 +0200 |
renamed isac's directories and Build_Isac.thy
|
file | diff | annotate | base |