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