log src/Coinductive.v

age author description
Fri, 20 Apr 2012 12:49:47 -0400 Adam Chlipala Typo fixes
Sun, 08 Apr 2012 11:11:27 -0400 Adam Chlipala Strengthen last theorem of Coinductive