From: Jim <jim.pryor@nyu.edu>
Date: Mon, 6 Apr 2015 13:46:40 +0000 (-0400)
Subject: update intensionality.ml
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=commitdiff_plain;ds=sidebyside;h=ac96206c5dfb5e4e829bfd927b562b60358efd1a;hp=ac96206c5dfb5e4e829bfd927b562b60358efd1a;p=lambda.git

update intensionality.ml
---