Require Import HaskWeakToCore.
Require Import HaskProofToStrong.
-(*Require Import HaskProofFlattener.*)
-(*Require Import HaskProofStratified.*)
+(*Require Import HaskFlattener.*)
+(*Require Import PCF.*)
Open Scope string_scope.
Extraction Language Haskell.