Mercurial > cpdt > repo

comparison src/MoreDep.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 7b38729be069
children 1f57a8d0ed3d
comparison
equal deleted inserted replaced
313:44f9ca08e173 314:d5787b70cf48
8 *) 8 *)
9 9
10 (* begin hide *) 10 (* begin hide *)
11 Require Import Arith Bool List. 11 Require Import Arith Bool List.
12 12
13 Require Import Tactics MoreSpecif. 13 Require Import CpdtTactics MoreSpecif.
14 14
15 Set Implicit Arguments. 15 Set Implicit Arguments.
16 (* end hide *) 16 (* end hide *)
17 17
18 18