Thu, 20 Oct 2016 10:26:29 +0200 | simplify handling of theorems | file | diff | annotate |
Thu, 21 Nov 2013 18:12:17 +0100 | Isabelle2013 --> 2013-1: Test_Isac perfect | file | diff | annotate |
Wed, 05 Dec 2012 15:56:38 +0100 | Test_Isac.thy works until "Interpret/mstools.sml" | file | diff | annotate |
Tue, 31 Jul 2012 15:16:47 +0200 | prepared for fun stepToErrorPatterns | 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 |
Sat, 21 May 2011 09:40:02 +0200 | tuned | file | diff | annotate |