Mercurial > cpdt > repo
annotate src/Intensional.v @ 240:b28c6e6eca0c
New-rewrite-hint-breaks-old-script example
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Wed, 09 Dec 2009 11:06:39 -0500 |
| parents | 2a34c4dc6a10 |
| children | 108ec446fbaf |
| rev | line source |
|---|---|
| adamc@223 | 1 (* Copyright (c) 2008-2009, Adam Chlipala |
| adamc@182 | 2 * |
| adamc@182 | 3 * This work is licensed under a |
| adamc@182 | 4 * Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 |
| adamc@182 | 5 * Unported License. |
| adamc@182 | 6 * The license text is available at: |
| adamc@182 | 7 * http://creativecommons.org/licenses/by-nc-nd/3.0/ |
| adamc@182 | 8 *) |
| adamc@182 | 9 |
| adamc@184 | 10 |
| adamc@182 | 11 (** %\chapter{Intensional Transformations}% *) |
| adamc@182 | 12 |
| adamc@204 | 13 (** TODO: This chapter! (Old version was too complicated) *) |