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 |