X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FAll.v;fp=src%2FAll.v;h=f5e51572212bc7a6984a979e59d0112aba811eec;hp=52bfa4acb60afb197c1964c01d1845e53b02449c;hb=f9297f3fba59884fe98eb4f9257a1fb7552bfd0a;hpb=7300187652058f4c24fd4527d9a5833583959fb4

diff --git a/src/All.v b/src/All.v
index 52bfa4a..f5e5157 100644
--- 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.