Require Import General.
Require Import NaturalDeduction.
-Require Import NaturalDeductionToLatex.
Require Import HaskKinds.
Require Import HaskLiteralsAndTyCons.
Require Import ProgrammingLanguage.
-Require Import HaskProofFlattener.
Require Import HaskProofStratified.
-Require Import HaskProofCategory.
+Require Import HaskProofFlattener.
Require Import ReificationsIsomorphicToGeneralizedArrows.