reorganize flattening code

[coq-hetmet.git] / src / ReificationsAndGeneralizedArrows.v

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 (file)
--- 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.                              *)
 (*                                                                                                                               *)