%% LaTeX2e file `exercise.thm'
%% generated by the `filecontents' environment
%% from source `thmtest' on 1997/10/21.
%%
\def\th@exercise{%
  \normalfont % body font
  \thm@headpunct{:}%
}