| Mon, 19 May 2014 12:45:26 +0100 | Christian Urban |
changed nominal_primrec into the more appropriate nominal_function | file | diff | annotate |
| Sun, 17 Jul 2011 04:04:17 +0100 | Christian Urban | defined a function directly over a nominal datatype with bn | file | diff | annotate |
| Sat, 16 Jul 2011 21:36:43 +0100 | Christian Urban | more one the NBE example | file | diff | annotate |