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

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.