| Tue, 29 Mar 2022 08:06:07 +0200 |
haftmann |
regenerated
|
file |
diff |
annotate
|
| Wed, 23 Feb 2022 08:43:44 +0100 |
desharna |
avoided recomputation in Cooper.djf and ran `isabelle regenerate_cooper`
|
file |
diff |
annotate
|
| Fri, 15 Oct 2021 22:49:07 +0200 |
wenzelm |
isabelle regenerate_cooper;
|
file |
diff |
annotate
|
| Tue, 09 Apr 2019 16:59:00 +0000 |
haftmann |
regenerated using isabelle regenerate_cooper
|
file |
diff |
annotate
|
| Sat, 11 Feb 2017 22:53:31 +0100 |
haftmann |
more fun without recdef
|
file |
diff |
annotate
|
| Sun, 06 Sep 2015 22:14:52 +0200 |
haftmann |
formally regenerated
|
file |
diff |
annotate
|
| Sun, 23 Feb 2014 10:33:43 +0100 |
haftmann |
regenerated
|
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, 14 Sep 2011 23:46:02 +0200 |
haftmann |
updated generated code
|
file |
diff |
annotate
|
| Mon, 10 May 2010 13:58:18 +0200 |
haftmann |
less complex organization of cooper source code
|
file |
diff |
annotate
| base
|