Tue, 13 Feb 2018 15:14:55 +0100 | Isabelle2015->17: "normalize" as identifier causes type clash now, etc | file | diff | annotate |
Mon, 20 Apr 2015 14:18:40 +0200 | update test/ to Isabelle2014 (~ updates of src/) | file | diff | annotate |
Thu, 21 Nov 2013 11:46:00 +0100 | Isabelle2013 --> 2013-1: replace an Isabelle constant newly introduced | file | diff | annotate |
Tue, 28 Sep 2010 09:06:56 +0200 | tuned error and writeln | file | diff | annotate |
Wed, 08 Sep 2010 16:47:22 +0200 | tuned src + test | file | diff | annotate |
Mon, 30 Aug 2010 14:35:51 +0200 | renamed test/* according to src/* | file | diff | annotate | base |