Mercurial > cpdt > repo

comparison src/Hoas.v @ 168:0c5a41e9e508

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove unnecessary imports
author Adam Chlipala <adamc@hcoop.net>
date Wed, 05 Nov 2008 09:32:19 -0500
parents ef485f86a7b6
children 8905f28ffeef
comparison
equal deleted inserted replaced
167:ef485f86a7b6 168:0c5a41e9e508
6 * The license text is available at: 6 * The license text is available at:
7 * http://creativecommons.org/licenses/by-nc-nd/3.0/ 7 * http://creativecommons.org/licenses/by-nc-nd/3.0/
8 *) 8 *)
9 9
10 (* begin hide *) 10 (* begin hide *)
11 Require Import Arith Eqdep String List. 11 Require Import Eqdep String List.
12 12
13 Require Import Axioms DepList Tactics. 13 Require Import Axioms Tactics.
14 14
15 Set Implicit Arguments. 15 Set Implicit Arguments.
16 (* end hide *) 16 (* end hide *)
17 17
18 18