X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2FReificationsEquivalentToGeneralizedArrows.v;h=a81c895c0ba04215100e4f61614795bc8f7ac80d;hb=bb960df7c29c851ca9d13f2d0c8f351ac24045ca;hp=5b4c5efde745ea3318991419eb3253824111b2f8;hpb=76f4613eaa5989e29bfd59d716c216ee5386c5f7;p=coq-hetmet.git

diff --git a/src/ReificationsEquivalentToGeneralizedArrows.v b/src/ReificationsEquivalentToGeneralizedArrows.v
index 5b4c5ef..a81c895 100644
--- a/src/ReificationsEquivalentToGeneralizedArrows.v
+++ b/src/ReificationsEquivalentToGeneralizedArrows.v
@@ -23,8 +23,8 @@ Require Import Enrichment_ch2_8.
 Require Import RepresentableStructure_ch7_2.
 Require Import Reification.
 Require Import GeneralizedArrow.
-Require Import GArrowFromReification.
-Require Import ReificationFromGArrow.
+Require Import GeneralizedArrowFromReification.
+Require Import ReificationFromGeneralizedArrow.
 Require Import ReificationCategory.
 Require Import GeneralizedArrowCategory.