Mercurial > cpdt > repo
comparison src/OpSem.v @ 265:dce88a5c170c
Import DeBruijn
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Wed, 30 Dec 2009 13:38:13 -0500 |
parents | af6f6d8dcfe7 |
children | 2c88fc1dbe33 |
comparison
equal
deleted
inserted
replaced
264:aaf532c80729 | 265:dce88a5c170c |
---|---|
1 (* Copyright (c) 2008-2009, Adam Chlipala | 1 (* Copyright (c) 2009, 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: |