week2 reorg some alpha-equiv stuff
[lambda.git] / applications.mdwn
2010-09-16 Jim PryorMerge branch 'pryor'
2010-09-16 barker(no commit message)
2010-09-16 barker(no commit message)
2010-09-16 barker(no commit message)
2010-09-16 barker(no commit message)
2010-09-16 barker(no commit message)
2010-09-16 barker(no commit message)
2010-09-16 Jim Pryortweak applications
2010-09-16 Jim Pryormoved applications to separate page