diff src/Intro.v @ 281:4146889930c5

PC's Chapter 5 comments
author Adam Chlipala <adam@chlipala.net>
date Fri, 15 Oct 2010 09:50:34 -0400
parents fabbc71abd80
children caa69851c78d
line wrap: on
line diff
--- a/src/Intro.v	Tue Oct 12 09:30:17 2010 -0400
+++ b/src/Intro.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