X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FMain.v;h=300dfb8e648c709f874b52c507317d22266692a4;hp=99c6734856dd6941ff26a631934a293016d07bb5;hb=95d220bc417942c682bffa4adcd89513711486ae;hpb=112daf37524662d6d2267d3f7e50ff3522683b8f

diff --git a/src/Main.v b/src/Main.v
index 99c6734..300dfb8 100644
--- 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.