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 |
Fri, 15 Jul 2011 22:48:37 +0100 | Christian Urban | some improvements to the NBE example | file | diff | annotate |
Wed, 06 Jul 2011 23:11:30 +0200 | Christian Urban | more on NBE | file | diff | annotate |
Wed, 06 Jul 2011 15:59:11 +0200 | Christian Urban | more on the NBE function | file | diff | annotate |
Wed, 06 Jul 2011 01:04:09 +0200 | Christian Urban | a little further with NBE | file | diff | annotate |
Wed, 06 Jul 2011 07:42:12 +0900 | Cezary Kaliszyk | Setup eqvt_at for first goal | file | diff | annotate |
Wed, 06 Jul 2011 00:34:42 +0200 | Christian Urban | attempt for NBE | file | diff | annotate |