Mercurial > cpdt > repo
comparison 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 |
comparison
equal
deleted
inserted
replaced
| 349:de7db21a016c | 350:ad315efc3b6b |
|---|---|
| 1 (* Copyright (c) 2006, 2011, Adam Chlipala | |
| 2 * | |
| 3 * This work is licensed under a | |
| 4 * Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 | |
| 5 * Unported License. | |
| 6 * The license text is available at: | |
| 7 * http://creativecommons.org/licenses/by-nc-nd/3.0/ | |
| 8 *) | |
| 9 | |
| 10 (* begin hide *) | |
| 11 Require Import List. | |
| 12 | |
| 13 Require Import CpdtTactics. | |
| 14 | |
| 15 Set Implicit Arguments. | |
| 16 (* end hide *) | |
| 17 | |
| 18 | |
| 19 (** %\chapter{General Recursion}% *) | |
| 20 |