\begin{code}

{-# OPTIONS --safe --without-K --exact-split #-}

module CrossedModules.index where

import CrossedModules.CrossedModules -- by Ettore Aldrovandi and Keri D'Angelo

\end{code}