Remove unnecessary imports

abfff43c · Adam Chlipala · ae3d8cf7 · abfff43c
Commit abfff43c authored Nov 05, 2008 by Adam Chlipala
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

Hoas.v src/Hoas.v +2 -2

No files found.
--- a/src/Hoas.v
+++ b/src/Hoas.v
@@ -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 *)