Mon, 15 Nov 2010 20:54:01 +0000 | Christian Urban | tuned example | changeset | files |
Mon, 15 Nov 2010 09:52:29 +0000 | Christian Urban | proved that bn functions return a finite set | changeset | files |
Mon, 15 Nov 2010 08:17:11 +0000 | Christian Urban | added a test for the various shallow binders | changeset | files |