| 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 |
| Tue, 19 Jul 2011 14:01:27 +0200 | test/../* "equality (1+-1*2+x=0)" --> "equality (1+-1*2+x=(0::real))", | 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 |
| 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 |
| Wed, 18 Aug 2010 13:55:23 +0200 | replaced None-->NONE, Some-->SOME over all files | file | diff | annotate |
| Thu, 12 Aug 2010 11:02:32 +0200 | moved isac + test to final dire-structure | file | diff | annotate |