Mercurial > cpdt > repo
diff src/Hoas.v @ 168:0c5a41e9e508
Remove unnecessary imports
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Wed, 05 Nov 2008 09:32:19 -0500 |
| parents | ef485f86a7b6 |
| children | 8905f28ffeef |
line wrap: on
line diff
--- a/src/Hoas.v Wed Nov 05 09:29:15 2008 -0500 +++ b/src/Hoas.v Wed Nov 05 09:32:19 2008 -0500 @@ -8,9 +8,9 @@ *) (* begin hide *) -Require Import Arith Eqdep String List. +Require Import Eqdep String List. -Require Import Axioms DepList Tactics. +Require Import Axioms Tactics. Set Implicit Arguments. (* end hide *)