X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FAll.v;h=9443bbb6868bfb1a21bd311b442c9fa25c35c4d0;hp=25fa85d1ed80a049e112c10489488ca814f0a1a0;hb=423b0bd3972c5bcbbd757cb715e13b5b9104a9a6;hpb=916f33924e493c9be8290d0aadc35cf85d6899af

diff --git a/src/All.v b/src/All.v
index 25fa85d..9443bbb 100644
--- a/src/All.v
+++ b/src/All.v
@@ -1,7 +1,9 @@
 Require Import ExtractionMain.
-Require Import ProgrammingLanguageGeneralizedArrow.
-Require Import ProgrammingLanguageFlattening.
+Require Import HaskProgrammingLanguage.
+Require Import PCF.
+Require Import HaskFlattener.
 Require Import ProgrammingLanguageArrow.
 Require Import ProgrammingLanguageReification.
+Require Import ProgrammingLanguageFlattening.
 Require Import ReificationsIsomorphicToGeneralizedArrows.