week2 reorg some alpha-equiv stuff
authorJim Pryor <profjim@jimpryor.net>
Sun, 19 Sep 2010 22:08:26 +0000 (18:08 -0400)
committerJim Pryor <profjim@jimpryor.net>
Sun, 19 Sep 2010 22:08:26 +0000 (18:08 -0400)
commit72d9c01fad3d41539b6883a882a9da94718e86f5
treee199ece7be8380a6a289e28d841a9b16fe2370e8
parent70c6ea956851ec9ec06942e566b2297af88da262
week2 reorg some alpha-equiv stuff

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