diff src/InductiveTypes.v @ 213:c4b1c0de7af9

Start of MoreDep port; new [dep_destruct] based on [dependent destruction]
author Adam Chlipala <adamc@hcoop.net>
date Wed, 11 Nov 2009 10:27:47 -0500
parents b149a07b9b5b
children fabbc71abd80
line wrap: on
line diff
--- a/src/InductiveTypes.v	Mon Nov 09 15:43:56 2009 -0500
+++ b/src/InductiveTypes.v	Wed Nov 11 10:27:47 2009 -0500
@@ -1,4 +1,4 @@
-(* Copyright (c) 2008, Adam Chlipala
+(* Copyright (c) 2008-2009, Adam Chlipala
  * 
  * This work is licensed under a
  * Creative Commons Attribution-Noncommercial-No Derivative Works 3.0