Mercurial > cpdt > repo

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