adam@350: (* Copyright (c) 2006, 2011, Adam Chlipala
adam@350:  * 
adam@350:  * This work is licensed under a
adam@350:  * Creative Commons Attribution-Noncommercial-No Derivative Works 3.0
adam@350:  * Unported License.
adam@350:  * The license text is available at:
adam@350:  *   http://creativecommons.org/licenses/by-nc-nd/3.0/
adam@350:  *)
adam@350: 
adam@350: (* begin hide *)
adam@350: Require Import List.
adam@350: 
adam@350: Require Import CpdtTactics.
adam@350: 
adam@350: Set Implicit Arguments.
adam@350: (* end hide *)
adam@350: 
adam@350: 
adam@350: (** %\chapter{General Recursion}% *)
adam@350: