Mercurial > cpdt > repo
comparison src/Equality.v @ 132:bc1f7d3687e7
Start of Match
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Wed, 22 Oct 2008 14:32:41 -0400 |
parents | 6bf40eff5e98 |
children | cadeb49dc1ef |
comparison
equal
deleted
inserted
replaced
131:6bf40eff5e98 | 132:bc1f7d3687e7 |
---|---|
8 *) | 8 *) |
9 | 9 |
10 (* begin hide *) | 10 (* begin hide *) |
11 Require Import Eqdep JMeq List. | 11 Require Import Eqdep JMeq List. |
12 | 12 |
13 Require Import MoreSpecif Tactics. | 13 Require Import Tactics. |
14 | 14 |
15 Set Implicit Arguments. | 15 Set Implicit Arguments. |
16 (* end hide *) | 16 (* end hide *) |
17 | 17 |
18 | 18 |