X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FWeakFunctorCategory.v;h=b6adae67208b0d66f2bf444b5ab5fd7d8ebaf209;hp=5e52faa4b6e4c5456937aa6179248a0a2c6e20aa;hb=ec8ee5cde986e5b38bcae38cda9e63eba94f1d9f;hpb=b096aab78240e38ff69c120367e65be60cbc54f5;ds=sidebyside

diff --git a/src/WeakFunctorCategory.v b/src/WeakFunctorCategory.v
index 5e52faa..b6adae6 100644
--- a/src/WeakFunctorCategory.v
+++ b/src/WeakFunctorCategory.v
@@ -21,8 +21,6 @@ Require Import NaturalTransformations_ch7_4.
 Require Import NaturalIsomorphisms_ch7_5.
 Require Import MonoidalCategories_ch7_8.
 Require Import Coherence_ch7_8.
-(*Require Import Enrichment_ch2_8.*)
-(*Require Import RepresentableStructure_ch7_2.*)
 
 Section WeakFunctorCategory.