From: Chris <chris.barker@nyu.edu>
Date: Tue, 24 Feb 2015 15:00:01 +0000 (-0500)
Subject: pred in system F
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=de74e6bac683afd7a0d6c64716814ac6c4942c6b;hp=de74e6bac683afd7a0d6c64716814ac6c4942c6b

pred in system F
---