61.8 EndDocument

<..enddocument in amsppt.sty..>
 \ifx \enddocument@text\:UnDef \else
    \pend:def\enddocument@text{\bgroup}
    \append:def\enddocument@text{\egroup}
 \fi
 -_-_-

The above is to prevent spilling of fonts when hfonts are defined.

Why the if below????

<..set amsppt.styNO..>+
 \ifx  \plainend\:UnDef \else
    \let\plainend=\end   \let\end=\sv:end
 \fi
 -_-_-

<..set amsppt.sty..>+
 \def\plainend{\end}   \let\end=\sv:end
 -_-_-