separate HaskProofStratified into PCF.v, HaskProgrammingLanguage.v, and HaskFlattener...

[coq-hetmet.git] / src / All.v

diff --git a/src/All.v b/src/All.v
index d4956dd..9443bbb 100644 (file)
--- 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.