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.