Fri, 11 Dec 2009 16:18:29 -0500 |
Adam Chlipala |
Proofreading pass over Firstorder |
Fri, 11 Dec 2009 16:07:27 -0500 |
Adam Chlipala |
Prose for LocallyNameless |
Fri, 11 Dec 2009 15:00:42 -0500 |
Adam Chlipala |
Automated LocallyNameless |
Fri, 11 Dec 2009 14:05:56 -0500 |
Adam Chlipala |
Proved preservation for LocallyNameless |
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 |