adamc@223: (* Copyright (c) 2008-2009, Adam Chlipala adamc@182: * adamc@182: * This work is licensed under a adamc@182: * Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 adamc@182: * Unported License. adamc@182: * The license text is available at: adamc@182: * http://creativecommons.org/licenses/by-nc-nd/3.0/ adamc@182: *) adamc@182: adamc@184: adamc@182: (** %\chapter{Intensional Transformations}% *) adamc@182: adamc@204: (** TODO: This chapter! (Old version was too complicated) *)