| Sat, 19 Mar 2011 15:03:36 +0100 | intermed. usecase Diophant: usecase1 shifted into test/../mathengine.sml | file | diff | annotate |
| Thu, 10 Mar 2011 17:05:09 +0100 | intermed.update Isabelle2011: Not --> HOL.Not | file | diff | annotate |
| Wed, 03 Nov 2010 11:54:53 +0100 | ----- final tests go through (test/../interface.sml) | file | diff | annotate |
| Wed, 03 Nov 2010 09:45:59 +0100 | check 'autoCalculate 1 CompleteCalc': works for test/../integrate.sml | 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, 30 Aug 2010 14:35:51 +0200 | renamed test/* according to src/* | file | diff | annotate | base |