Require Import SmallSMMEs.
Require Import ReificationCategory.
Require Import GeneralizedArrowCategory.
-Require Import ReificationsEquivalentToGeneralizedArrows.
+Require Import ReificationsAndGeneralizedArrows.
Require Import ReificationsIsomorphicToGeneralizedArrows.
-Require Import HaskProofCategory.
+Require Import HaskProofStratified.
+Require Import HaskProofFlattener.
Require Import ProgrammingLanguage.
(* very slow! *)