| 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 |