X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FReificationsAndGeneralizedArrows.v;fp=src%2FReificationsEquivalentToGeneralizedArrows.v;h=d59b030545f4f767cf2fc097970fbbe624516840;hp=0428638e69ad226b2789d72e1347a387e385700a;hb=e3e2ce9cb83acdd8191049b4e9bd3d4fcf6a4db4;hpb=9adf3f5756893322d0114f89c0908590817eda2b

diff --git a/src/ReificationsEquivalentToGeneralizedArrows.v b/src/ReificationsAndGeneralizedArrows.v
similarity index 98%
rename from src/ReificationsEquivalentToGeneralizedArrows.v
rename to src/ReificationsAndGeneralizedArrows.v
index 0428638..d59b030 100644
--- a/src/ReificationsEquivalentToGeneralizedArrows.v
+++ b/src/ReificationsAndGeneralizedArrows.v
@@ -1,5 +1,5 @@
 (*********************************************************************************************************************************)
-(* ReificationsEquivalentToGeneralizedArrows:                                                                                    *)
+(* ReificationsAndGeneralizedArrows:                                                                                             *)
 (*                                                                                                                               *)
 (*   The category of generalized arrows and the category of reifications are equivalent categories.                              *)
 (*                                                                                                                               *)