%<+thmstyle> [2001/09/16 1.0 numbers-in-the-margin theorem style]
% \end{meta-comment}
%
-% \CheckSum{205}
+% \CheckSum{204}
%% \CharacterTable
%% {Upper-case \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z
%% Lower-case \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z
% Ah, but nobody actually does anything with |\after@thm|. Let's fix that.
%
% \begin{macrocode}
-\AtEndOfPackage{\def\@endtheorem{\after@thm\endtrivlist\@endpefalse}}
+\AtEndOfPackage{\def\@endtheorem{\after@thm\endtrivlist}}
% \end{macrocode}
% \end{macro}
% \end{macro}