% This macro source file is from the four volume series
% "TeX in Practice" by Stephan von Bechtolsheim, published
% 1993 by Springer-Verlag, New York.
% Copyright 1993 Stephan von Bechtolsheim.
% No warranty or liability is assumed.
% This macro may be copied freely if no fees other than
% media cost or shipping charges are charged and as long
% as this copyright and the following source code itself
% is not changed. Please see the series for further information.
%
% Version: 1.0
% Date: May 1, 1993
%
%
% This source code is documented in 19.3.10, p. III-96.
% Original source in file "tokens2.TEX", starting line 1462.
\wlog{L: "cref-5.tip" ["tokens2.TEX," l. 1462, p. III-96]}%
% This file DOES NOT belong to format "texip."
\InputD{gobble.tip}
\InputD{input-at.tip}
\catcode`\@ = 11
\newif\if@LabelOk
\def\CheckLabels{% 
    \@LabelOktrue
    \def\@NewLabel ##1##2##3{%
        \def\@CrefTemp{{##2}{##3}}%
        \if\NameDefinedConditional{@REF-##1}%
            \edef\@@CrefTemp{\NameUse{@REF-##1}}%
            \ifx\@CrefTemp\@@CrefTemp
                \let\@CrefNext = \relax
            \else
                \let\@CrefNext = \@StopCheckingLabels
            \fi
        \else
            \let\@CrefNext = \@StopCheckingLabels
        \fi
        \@CrefNext
    }%
    \InputAt{\jobname.lab}%
    \if@LabelOk
        \wlog{\string\CheckLabels: labels are ok.}%
    \else
        \wlog{\string\CheckLabels: labels CHANGED between
            preceding and this run.}%
        \wlog{Reprocess document.}%
    \fi
}
\def\@StopCheckingLabels{% 
    \@LabelOkfalse
    \let\@NewLabel = \GobbleThree
}
\catcode`\@ = 12