%
% Defines the time used in all proofs.
%

mathmtimet: THEORY
  BEGIN

    mathmtimet: TYPE = nat

  END mathmtimet