Andrew Sneap

\begin{code}

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

module Integers.index where

import Integers.Abs
import Integers.Addition
import Integers.Division
import Integers.Exponentiation
import Integers.HCF
import Integers.Type
import Integers.Multiplication
import Integers.Negation
import Integers.Order
import Integers.Parity

\end{code}