Mercurial > cpdt > repo

comparison src/Equality.v @ 132:bc1f7d3687e7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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