../ auto-curry.lurk 24-Jul-2006 01:21 57 begin.lurk 24-Jul-2006 01:21 27 eval.lurk 24-Jul-2006 01:21 185 spec.lurk 24-Jul-2006 01:21 17658