Mercurial > cpdt > repo
annotate src/GeneralRec.v @ 350:ad315efc3b6b
Stub out new chapter
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Wed, 26 Oct 2011 11:19:52 -0400 |
| parents | |
| children | bb1a470c1757 |
| rev | line source |
|---|---|
| adam@350 | 1 (* Copyright (c) 2006, 2011, Adam Chlipala |
| adam@350 | 2 * |
| adam@350 | 3 * This work is licensed under a |
| adam@350 | 4 * Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 |
| adam@350 | 5 * Unported License. |
| adam@350 | 6 * The license text is available at: |
| adam@350 | 7 * http://creativecommons.org/licenses/by-nc-nd/3.0/ |
| adam@350 | 8 *) |
| adam@350 | 9 |
| adam@350 | 10 (* begin hide *) |
| adam@350 | 11 Require Import List. |
| adam@350 | 12 |
| adam@350 | 13 Require Import CpdtTactics. |
| adam@350 | 14 |
| adam@350 | 15 Set Implicit Arguments. |
| adam@350 | 16 (* end hide *) |
| adam@350 | 17 |
| adam@350 | 18 |
| adam@350 | 19 (** %\chapter{General Recursion}% *) |
| adam@350 | 20 |