\begin{code}

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

module deprecated.index where

import deprecated.Categories.index              -- (0)
import deprecated.StructureIdentityPrinciple    -- (1)
import deprecated.EGroups.index                 -- (2)

\end{code}

(0) Use Categories instead

(1) Use UF.SIP instead

(2) A new version is under development, and then this one will be deleted.