Mon, 15 Nov 2010 20:54:01 +0000 Christian Urban tuned example
Mon, 15 Nov 2010 09:52:29 +0000 Christian Urban proved that bn functions return a finite set
Mon, 15 Nov 2010 08:17:11 +0000 Christian Urban added a test for the various shallow binders
Mon, 15 Nov 2010 01:10:02 +0000 Christian Urban fixed bug in fv function where a shallow binder binds lists of names
(0) -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 tip