X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FProgrammingLanguageArrow.v;h=a4f40e3b3287847268912f5cbd73f30196557fc1;hp=40bc1649f3dab364a4a31521e7c323c5d83536fb;hb=c3b1fb9622a65ad01e54b6e35785cee672d25bdc;hpb=6133ffc255c4cfadf93378b93ddd43adf0787120

diff --git a/src/ProgrammingLanguageArrow.v b/src/ProgrammingLanguageArrow.v
index 40bc164..a4f40e3 100644
--- a/src/ProgrammingLanguageArrow.v
+++ b/src/ProgrammingLanguageArrow.v
@@ -117,6 +117,7 @@ Section MonoidalSubCat.
 End MonoidalSubCat.
 Coercion full_subcat_is_monoidal : MonoidalSubCat >-> MonoidalCat.
 
+(*
 Section ArrowInLanguage.
 
   (* an Arrow In A Programming Language consists of... *)
@@ -162,3 +163,4 @@ Check (@FreydCategory).
     Defined.
 
 End GArrowInLanguage.
+*)
\ No newline at end of file