X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FAll.v;h=9443bbb6868bfb1a21bd311b442c9fa25c35c4d0;hp=d4956dd000869f48123338a93e8ac2492c0eb724;hb=94ad996f571e3c9fd622bc56d9b57118a7e5333a;hpb=d6342fb07462cc126df948459ce98ea9caadb95c

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