add HaskProofToStrong skeleton implementation

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

diff --git a/src/Extraction.v b/src/Extraction.v
index 22564a2..1a26e58 100644 (file)
--- a/src/Extraction.v
+++ b/src/Extraction.v
@@ -25,9 +25,9 @@ Require Import HaskProof.
 Require Import HaskCoreToWeak.
 Require Import HaskWeakToStrong.
 Require Import HaskStrongToProof.
-(*Require Import HaskProofToStrong.*)
+Require Import HaskProofToStrong.
 Require Import HaskProofToLatex.
-(*Require Import HaskStrongToWeak.*)
+Require Import HaskStrongToWeak.
 Require Import HaskWeakToCore.
 
 Open Scope string_scope.