Timings for Finite.v

Require Export Finite.Fin.

Require Export Finite.FinNat.

Require Export Finite.FinInduction.

Require Export Finite.Finite.

Require Export Finite.FinSeq.

Require Export Finite.Tactics.