Wed, 09 Nov 2011 15:26:50 -0500 |
Adam Chlipala |
Templatize Large |
Tue, 08 Nov 2011 11:54:09 -0500 |
Adam Chlipala |
Pass over old Large material; index fixes |
Sun, 06 Nov 2011 16:54:40 -0500 |
Adam Chlipala |
Remove home page reference to Part IV |
Sun, 06 Nov 2011 16:52:15 -0500 |
Adam Chlipala |
Discuss reduction of [fix] |
Sun, 06 Nov 2011 16:25:45 -0500 |
Adam Chlipala |
Pass through old content of Equality |
Thu, 03 Nov 2011 17:04:41 -0400 |
Adam Chlipala |
Explicit note about primitive recursion restriction, early on |
Wed, 02 Nov 2011 17:03:25 -0400 |
Adam Chlipala |
Template tweaks |