| Sun, 06 Jan 2019 15:04:34 +0100 |
wenzelm |
isabelle update -u path_cartouches;
|
file |
diff |
annotate
|
| Sun, 02 Oct 2016 14:07:43 +0200 |
wenzelm |
updated headers;
|
file |
diff |
annotate
|
| Thu, 01 Sep 2016 21:28:55 +0200 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
| Wed, 17 Jun 2015 11:03:05 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 17:20:45 +0100 |
wenzelm |
modernized header;
|
file |
diff |
annotate
|
| Wed, 29 Oct 2014 11:13:24 +0100 |
wenzelm |
modernized setup;
|
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
|
| Wed, 22 Aug 2012 22:55:41 +0200 |
wenzelm |
prefer ML_file over old uses;
|
file |
diff |
annotate
|
| Fri, 11 Nov 2011 08:32:45 +0100 |
bulwahn |
adding CPS compilation to predicate compiler;
|
file |
diff |
annotate
|
| Mon, 18 Jul 2011 10:34:21 +0200 |
bulwahn |
adapting quickcheck based on the analysis of the predicate compiler
|
file |
diff |
annotate
|
| Thu, 09 Sep 2010 16:43:57 +0200 |
bulwahn |
changing the container for the quickcheck options to a generic data
|
file |
diff |
annotate
|
| Mon, 29 Mar 2010 17:30:43 +0200 |
bulwahn |
adopting Predicate_Compile_Quickcheck
|
file |
diff |
annotate
|
| Wed, 24 Mar 2010 17:40:43 +0100 |
bulwahn |
moved further predicate compile files to HOL-Library
|
file |
diff |
annotate
|