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

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