index

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

module deprecated.index where

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


(0) Use Categories instead

(1) Use UF.SIP instead

(2) Superseded by EGroups, and kept here for comparison for the moment.