% This module is yet empty. We assume a transformation using
% x-openmath.xsl.

\endinput
