From: Chris <chris.barker@nyu.edu>
Date: Mon, 16 Feb 2015 21:13:53 +0000 (-0500)
Subject: switched the map from lambda to CL back to Barendregt's
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=commitdiff_plain;h=39db6d0abfc0f9606c1b38b3b21b4232cad3a6e2;hp=39db6d0abfc0f9606c1b38b3b21b4232cad3a6e2;p=lambda.git

switched the map from lambda to CL back to Barendregt's
---