added HaskCoreToWeak

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

diff --git a/src/Main.v b/src/Main.v
index 99c6734..300dfb8 100644 (file)
--- a/src/Main.v
+++ b/src/Main.v
@@ -10,10 +10,10 @@ Require Import HaskCoreVars.
 Require Import HaskCoreTypes.
 Require Import HaskCore.
 Require Import HaskWeak.
-(*Require Import HaskCoreToWeak.*)
+Require Import HaskCoreToWeak.
 Require Import HaskStrongTypes.
 Require Import HaskStrong.
 (*Require Import HaskStrongToProof.*)
 Require Import HaskProof.
 (*Require Import HaskWeakToStrong.*)
-(*Require Import HaskProofToLatex.*)
+Require Import HaskProofToLatex.