Fri, 11 Dec 2009 10:18:45 -0500 |
Adam Chlipala |
Proved progress for LocallyNameless |
Wed, 09 Dec 2009 15:26:22 -0500 |
Adam Chlipala |
Prose for old part of Firstorder |
Mon, 16 Nov 2009 12:08:18 -0500 |
Adam Chlipala |
Port Hoas |
Sun, 16 Nov 2008 14:01:33 -0500 |
Adam Chlipala |
Closure conversion defined |
Tue, 04 Nov 2008 11:23:20 -0500 |
Adam Chlipala |
Firstorder clean-ups after class |
Sun, 02 Nov 2008 14:41:01 -0500 |
Adam Chlipala |
Simplify Concrete |
Sun, 02 Nov 2008 13:51:51 -0500 |
Adam Chlipala |
De Bruijn |
Sun, 02 Nov 2008 13:25:42 -0500 |
Adam Chlipala |
Removed G2 everywhere |
Sun, 02 Nov 2008 13:14:08 -0500 |
Adam Chlipala |
Progress and preservation |
Sun, 02 Nov 2008 12:20:56 -0500 |
Adam Chlipala |
Fix some uglyness |
Sun, 02 Nov 2008 12:16:55 -0500 |
Adam Chlipala |
Proved concrete substitution |