From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Sat, 26 Mar 2011 09:31:25 +0000 (-0700)
Subject: temporarily comment out
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=7300187652058f4c24fd4527d9a5833583959fb4

temporarily comment out
---

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.