better names for the auxiliary CaseBranch records

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

diff --git a/src/Main.v b/src/Main.v
index 99c6734..bbadc14 100644 (file)
--- a/src/Main.v
+++ b/src/Main.v
@@ -9,11 +9,15 @@ Require Import HaskLiterals.
 Require Import HaskCoreVars.
 Require Import HaskCoreTypes.
 Require Import HaskCore.
+Require Import HaskWeakVars.
 Require Import HaskWeak.
-(*Require Import HaskCoreToWeak.*)
+Require Import HaskCoreToWeak.
 Require Import HaskStrongTypes.
 Require Import HaskStrong.
-(*Require Import HaskStrongToProof.*)
 Require Import HaskProof.
+(*Require Import HaskProofToStrong.*)
+(*Require Import HaskStrongToProof.*)
+(*Require Import HaskStrongToWeak.*)
 (*Require Import HaskWeakToStrong.*)
-(*Require Import HaskProofToLatex.*)
+Require Import HaskWeakToCore.
+Require Import HaskProofToLatex.