comparison src/Reflection.v @ 379:e23d41ae63be

Date increment
author Adam Chlipala <adam@chlipala.net>
date Thu, 29 Mar 2012 17:15:14 -0400
parents 6413675f8e04
children 05efde66559d
comparison
equal deleted inserted replaced
378:6413675f8e04 379:e23d41ae63be
1 (* Copyright (c) 2008-2011, Adam Chlipala 1 (* Copyright (c) 2008-2012, Adam Chlipala
2 * 2 *
3 * This work is licensed under a 3 * This work is licensed under a
4 * Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 4 * Creative Commons Attribution-Noncommercial-No Derivative Works 3.0
5 * Unported License. 5 * Unported License.
6 * The license text is available at: 6 * The license text is available at: