Martin Escardo

\begin{code}

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

module Relations.index where

import Relations.SRTclosure
import Relations.ChurchRosser

\end{code}