| Thu, 11 Jul 2013 16:58:31 +0200 |
end of improving tests for isac on Isabelle2012
|
file | diff | annotate |
| Wed, 05 Dec 2012 15:56:38 +0100 |
Test_Isac.thy works until "Interpret/mstools.sml"
|
file | diff | annotate |
| Wed, 13 Jun 2012 07:28:39 +0200 |
first dialog sequence for error patterns
|
file | diff | annotate |
| 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, 23 Sep 2011 13:58:27 +0200 |
tuned
|
file | diff | annotate |
| Fri, 23 Sep 2011 08:30:35 +0200 |
repair ctxt in locate_gen
|
file | diff | annotate |
| Wed, 27 Jul 2011 11:57:46 +0200 |
tuned
|
file | diff | annotate |
| Fri, 22 Jul 2011 15:57:22 +0200 |
intermed: uncomment tests
|
file | diff | annotate |
| Thu, 21 Jul 2011 16:57:21 +0200 |
intermed: uncomment test
|
file | diff | annotate |
| Tue, 17 May 2011 17:38:35 +0200 |
intermed. ctxt ..: ctxt correct after Apply_Method in sub-method
|
file | diff | annotate |
| Wed, 11 May 2011 14:58:07 +0200 |
intermed. ctxt ..: Add_Given doesnt work due to wrong ctxt in Subproblem
|
file | diff | annotate |
| Wed, 04 May 2011 14:04:53 +0200 |
tuned
|
file | diff | annotate |
| Wed, 04 May 2011 09:01:10 +0200 |
update all "Pair" to "Product_Type.Pair"
|
file | diff | annotate |
| Tue, 03 May 2011 16:20:55 +0200 |
provided all "x+1=2" with typeconstraint real ("equality" is just bool)
|
file | diff | annotate |
| Tue, 03 May 2011 15:58:04 +0200 |
tuned, tests work
|
file | diff | annotate |
| Thu, 10 Mar 2011 12:45:58 +0100 |
intermed.update Isabelle2011: HOL.Trueprop
|
file | diff | annotate |
| Fri, 04 Mar 2011 11:43:45 +0100 |
intermed.update Isabelle2001: updated "op =", "op +"
|
file | diff | annotate |
| Mon, 11 Oct 2010 13:31:22 +0200 |
removed all ".thy" in src/ and test/
|
file | diff | annotate |
| Tue, 28 Sep 2010 09:06:56 +0200 |
tuned error and writeln
|
file | diff | annotate |
| Mon, 06 Sep 2010 15:09:37 +0200 |
updated Knowledge/Equation.thy, plus changes ahead.
|
file | diff | annotate |
| Mon, 30 Aug 2010 14:35:51 +0200 |
renamed test/* according to src/*
|
file | diff | annotate | base |