Mercurial > cpdt > repo

diff src/InductiveTypes.v @ 281:4146889930c5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
PC's Chapter 5 comments
author Adam Chlipala <adam@chlipala.net>
date Fri, 15 Oct 2010 09:50:34 -0400
parents fabbc71abd80
children 2c88fc1dbe33
line wrap: on
line diff
--- a/src/InductiveTypes.v	Tue Oct 12 09:30:17 2010 -0400
+++ b/src/InductiveTypes.v	Fri Oct 15 09:50:34 2010 -0400
@@ -1,4 +1,4 @@
-(* Copyright (c) 2008-2009, Adam Chlipala
+(* Copyright (c) 2008-2010, Adam Chlipala
  * 
  * This work is licensed under a
  * Creative Commons Attribution-Noncommercial-No Derivative Works 3.0