Mercurial > cpdt > repo

comparison src/DepList.v @ 314:d5787b70cf48

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Rename Tactics; change 'principal typing' to 'principal types'
author Adam Chlipala <adam@chlipala.net>
date Wed, 07 Sep 2011 13:47:24 -0400
parents d1464997078d
children ad315efc3b6b
comparison
equal deleted inserted replaced
313:44f9ca08e173 314:d5787b70cf48
7 * http://creativecommons.org/licenses/by-nc-nd/3.0/ 7 * http://creativecommons.org/licenses/by-nc-nd/3.0/
8 *) 8 *)
9 9
10 (* Dependent list types presented in Chapter 8 *) 10 (* Dependent list types presented in Chapter 8 *)
11 11
12 Require Import Arith List Tactics. 12 Require Import Arith List CpdtTactics.
13 13
14 Set Implicit Arguments. 14 Set Implicit Arguments.
15 15
16 16
17 Section ilist. 17 Section ilist.