X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=src%2FAll.v;h=b42d1757c0d0012b9e51278566d2fd2959375956;hb=d1a4d10de986d774d3cfb10348036cb60bc80277;hp=d9f1d16faa0f3d7f5c467cc8454bc32c5008f3d2;hpb=c6086660ba8a453a62ce7c248c2dabac1627e94b;p=coq-hetmet.git

diff --git a/src/All.v b/src/All.v
index d9f1d16..b42d175 100644
--- a/src/All.v
+++ b/src/All.v
@@ -79,8 +79,7 @@ Require Import GeneralizedArrowCategory.
 Require Import ReificationsAndGeneralizedArrows.
 Require Import ReificationsIsomorphicToGeneralizedArrows.
 
-Require Import HaskProofStratified.
-Require Import HaskProofFlattener.
+Require Import HaskProofCategory.
 Require Import ProgrammingLanguage.
 
 (* very slow! *)