X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FExtraction.v;fp=src%2FExtraction.v;h=82b05434263ca1fb6e754f08f89ea3a1a8e7b616;hp=c23d1c5fb01725d5256f9465fa5ccd2d48e3f78a;hb=76f4613eaa5989e29bfd59d716c216ee5386c5f7;hpb=8dc348a407d7a476388401765b24f7815cc801cf

diff --git a/src/Extraction.v b/src/Extraction.v
index c23d1c5..82b0543 100644
--- a/src/Extraction.v
+++ b/src/Extraction.v
@@ -1,3 +1,10 @@
+(*********************************************************************************************************************************)
+(* Extraction:                                                                                                                   *)
+(*                                                                                                                               *)
+(*    This module is the "top level" for extraction                                                                              *)
+(*                                                                                                                               *)
+(*********************************************************************************************************************************)
+
 (* need this or the Haskell extraction fails *)
 Set Printing Width 1300000.
 
@@ -30,6 +37,10 @@ Require Import HaskStrongToWeak.
 Require Import HaskWeakToCore.
 Require Import HaskProofToStrong.
 
+Require Import HaskProofCategory.
+Require Import HaskStrongCategory.
+Require Import ReificationsEquivalentToGeneralizedArrows.
+
 Open Scope string_scope.
 Extraction Language Haskell.