log

age author description
Fri, 02 Mar 2012 10:52:22 -0500 Adam Chlipala The one rule of dependent pattern matching
Fri, 02 Mar 2012 09:58:00 -0500 Adam Chlipala Move exercises out of mainline book
Fri, 16 Dec 2011 13:28:11 -0500 Adam Chlipala Change make invocations to work properly with -j
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
Wed, 02 Nov 2011 16:22:41 -0400 Adam Chlipala New subsection on Ltac reification
Wed, 02 Nov 2011 14:48:25 -0400 Adam Chlipala Pass through old content of Reflection
Tue, 01 Nov 2011 12:34:00 -0400 Adam Chlipala Tweak Generic templating
Mon, 31 Oct 2011 14:24:16 -0400 Adam Chlipala Pass over Generic