Require Import Preamble.
Require Import General.

Require Import NaturalDeduction.
Require Import NaturalDeductionToLatex.

Require Import HaskGeneral.
Require Import HaskLiterals.
Require Import HaskCoreVars.
Require Import HaskCoreTypes.
Require Import HaskCore.
Require Import HaskWeak.
(*Require Import HaskCoreToWeak.*)
Require Import HaskStrongTypes.
Require Import HaskStrong.
(*Require Import HaskStrongToProof.*)
Require Import HaskProof.
(*Require Import HaskWeakToStrong.*)
(*Require Import HaskProofToLatex.*)