X-Git-Url: http://git.megacz.com/?p=coq-categories.git;a=blobdiff_plain;f=src%2FEnrichment_ch2_8.v;h=84cc6741179544685942fbec554834ee1f73b7af;hp=b821599705db9d77a0ac619d9aa3cb924601c675;hb=21607813788d83fb58ce128df442a4ee3edfbdaf;hpb=84949606d80f30b1a7ada10f46ae13bdf17cacc2

diff --git a/src/Enrichment_ch2_8.v b/src/Enrichment_ch2_8.v
index b821599..84cc674 100644
--- a/src/Enrichment_ch2_8.v
+++ b/src/Enrichment_ch2_8.v
@@ -10,6 +10,8 @@ Require Import Subcategories_ch7_1.
 Require Import NaturalTransformations_ch7_4.
 Require Import NaturalIsomorphisms_ch7_5.
 Require Import Coherence_ch7_8.
+Require Import BinoidalCategories.
+Require Import PreMonoidalCategories.
 Require Import MonoidalCategories_ch7_8.
 
 (******************************************************************************)