Timings for Pointed.v

Require Export Pointed.Core.

Require Export Pointed.Loops.

Require Export Pointed.pMap.

Require Export Pointed.pFiber.

Require Export Pointed.pEquiv.

Require Export Pointed.pTrunc.

Require Export Pointed.pModality.

Require Export Pointed.pSusp.

Require Export Pointed.pSect.