Wed, 30 Dec 2015 18:17:28 +0100 | wenzelm | more symbols; | file | diff | annotate |
Mon, 28 Dec 2015 17:43:30 +0100 | wenzelm | prefer symbols for "Union", "Inter"; | file | diff | annotate |
Wed, 29 Oct 2014 11:19:27 +0100 | wenzelm | tuned; | file | diff | annotate |
Thu, 11 Sep 2014 19:32:36 +0200 | blanchet | updated news | file | diff | annotate |
Tue, 09 Sep 2014 20:51:36 +0200 | blanchet | use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries | file | diff | annotate |
Fri, 15 Feb 2013 08:31:31 +0100 | haftmann | two target language numeral types: integer and natural, as replacement for code_numeral; | file | diff | annotate |
Thu, 26 Jul 2012 15:55:19 +0200 | bulwahn | moved another larger quickcheck example to Quickcheck_Benchmark | file | diff | annotate | base |