get rid of vec_{fst,snd} axioms

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

diff --git a/src/All.v b/src/All.v
index 52bfa4a..f5e5157 100644 (file)
--- a/src/All.v
+++ b/src/All.v
@@ -72,9 +72,12 @@ Require Import Reification.
 Require Import GeneralizedArrow.
 Require Import GeneralizedArrowFromReification.
 Require Import ReificationFromGeneralizedArrow.
+Require Import WeakFunctorCategory.
+Require Import SmallSMMEs.
 Require Import ReificationCategory.
 Require Import GeneralizedArrowCategory.
 Require Import ReificationsEquivalentToGeneralizedArrows.
+Require Import ReificationsIsomorphicToGeneralizedArrows.
 
 Require Import HaskProofCategory.
 Require Import ProgrammingLanguage.