log src/Intro.v

age author description
Fri, 01 Oct 2010 14:19:20 -0400 Adam Chlipala Incorporate PC's comments on InductiveTypes
Fri, 01 Oct 2010 13:39:05 -0400 Adam Chlipala Some improvements to installation instructions, based on Mitch Wand's feedback
Wed, 03 Feb 2010 08:14:39 -0500 Adam Chlipala Fix PDF ToC generation; mention Set Implicit Arguments in StackMachine