From: Jim Pryor <profjim@jimpryor.net>
Date: Mon, 20 Sep 2010 02:27:59 +0000 (-0400)
Subject: week2: tweak, undecidability of pred logic
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=6e55a9652a8a082eceb8efaa0eedbce91a79716f;hp=6e55a9652a8a082eceb8efaa0eedbce91a79716f;ds=sidebyside

week2: tweak, undecidability of pred logic

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
---