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 *)