From 7300187652058f4c24fd4527d9a5833583959fb4 Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Sat, 26 Mar 2011 02:31:25 -0700 Subject: [PATCH] temporarily comment out --- src/ReificationsEquivalentToGeneralizedArrows.v | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/ReificationsEquivalentToGeneralizedArrows.v b/src/ReificationsEquivalentToGeneralizedArrows.v index c8a7f72..bb5df17 100644 --- a/src/ReificationsEquivalentToGeneralizedArrows.v +++ b/src/ReificationsEquivalentToGeneralizedArrows.v @@ -83,8 +83,9 @@ Section ReificationsEquivalentToGeneralizedArrows. apply (step1_niso K C (reification_from_garrow K C garrow)). Qed. - Theorem ReificationsAreGArrows : IsomorphicCategories CategoryOfReifications CategoryOfGeneralizedArrows. + (* + Theorem ReificationsAreGArrows : IsomorphicCategories CategoryOfReifications CategoryOfGeneralizedArrows. admit. - Qed. + Qed.*) End ReificationsEquivalentToGeneralizedArrows. -- 1.7.10.4