| Mon, 02 Sep 2013 16:16:08 +0200 |
Test_Isac works again, almost ..
|
file | diff | annotate |
| Mon, 22 Jul 2013 13:52:18 +0200 |
--- Test_Isac.thy runs all tests
|
file | diff | annotate |
| Fri, 12 Oct 2012 17:06:58 +0200 |
2011-->2012: ProofContext-->Proof_Context
|
file | diff | annotate |
| Fri, 12 Oct 2012 16:03:07 +0200 |
2011-->2012:
|
file | diff | annotate |
| Wed, 14 Mar 2012 17:12:43 +0100 |
uncomment test/../rootrateq.sml (Isabelle 2002 --> 2011)
|
file | diff | annotate |
| Wed, 14 Mar 2012 10:59:36 +0100 |
uncomment test/../eqsystem.sml (Isabelle 2002 --> 2011)
|
file | diff | annotate |
| Tue, 13 Mar 2012 15:04:09 +0100 |
uncomment test/../ptyps.sml (Isabelle 2002 --> 2011)
|
file | diff | annotate |
| Tue, 26 Jul 2011 15:25:28 +0200 |
tuned
|
file | diff | annotate |
| Tue, 26 Jul 2011 13:27:59 +0200 |
intermed: decomment test/../eqsystem.sml OK
|
file | diff | annotate |
| Fri, 22 Jul 2011 15:55:15 +0200 |
session with tleh
|
file | diff | annotate |
| Fri, 22 Jul 2011 14:01:09 +0200 |
tuned
|
file | diff | annotate |
| Fri, 06 May 2011 11:18:07 +0200 |
intermed. ctxt ..: cleanup before start with Add_Given
|
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 |
| Fri, 04 Mar 2011 11:43:45 +0100 |
intermed.update Isabelle2001: updated "op =", "op +"
|
file | diff | annotate |
| Wed, 06 Oct 2010 15:12:41 +0200 |
intermed. test/../integrate.sml in -- me method [diff,integration] --
|
file | diff | annotate |
| Tue, 28 Sep 2010 09:06:56 +0200 |
tuned error and writeln
|
file | diff | annotate |
| Thu, 23 Sep 2010 14:49:23 +0200 |
updated "op +", "op -", "op *". "HOL.divide" in src & test
|
file | diff | annotate |
| Wed, 08 Sep 2010 17:49:36 +0200 |
updated Knowledge/DiffApp.thy
|
file | diff | annotate |
| Wed, 08 Sep 2010 16:47:22 +0200 |
tuned src + test
|
file | diff | annotate |
| Mon, 06 Sep 2010 17:07:28 +0200 |
changed argument types for scripts
|
file | diff | annotate |
| Wed, 01 Sep 2010 15:19:47 +0200 |
cleanup from the previous commit
|
file | diff | annotate |
| Tue, 31 Aug 2010 16:38:22 +0200 |
updating Knowledge/Simplify, changes ahead + in test
|
file | diff | annotate |
| Mon, 30 Aug 2010 14:35:51 +0200 |
renamed test/* according to src/*
|
file | diff | annotate | base |