Sun, 17 Jul 2011 11:33:09 +0100 | Christian Urban | direct definition of height using bn | changeset | files |
Sun, 17 Jul 2011 04:04:17 +0100 | Christian Urban | defined a function directly over a nominal datatype with bn | changeset | files |
Sat, 16 Jul 2011 21:36:43 +0100 | Christian Urban | more one the NBE example | changeset | files |