# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1225895539 18000
# Node ID 0c5a41e9e5088a2033af7ab7564778f5185db99f
# Parent  ef485f86a7b649b69f3539e1768be588484a4554
Remove unnecessary imports

diff -r ef485f86a7b6 -r 0c5a41e9e508 src/Hoas.v
--- 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 *)