Mercurial > cpdt > repo

comparison src/Hoas.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 Eqdep String List FunctionalExtensionality. 11 Require Import Eqdep String List FunctionalExtensionality.
12 12
13 Require Import Tactics. 13 Require Import CpdtTactics.
14 14
15 Set Implicit Arguments. 15 Set Implicit Arguments.
16 (* end hide *) 16 (* end hide *)
17 17
18 18