\makeatletter
\newcommand{\hlabel}[2]{\write\@auxout{\string\newlabel{#1}{{#2}{0}}}}
\makeatother

\hlabel{ps1}{1}                 % problem set 1 (pset1.tex)
\hlabel{ps2}{2}                 % problem set 2 (pset2.tex)
\hlabel{ps3}{3}                 % problem set 3 (pset3.tex)
\hlabel{proofs_gen}{4}          % handout on proofs (proofs.tex)
\hlabel{ps4}{5}                 % problem set 4 (pset4.tex)
\hlabel{ps5}{6}                 % problem set 5 (pset5.tex)
\hlabel{ps6}{7}                 % problem set 6 (pset6.tex)
\hlabel{ps7}{8}                 % problem set 7 (pset7.tex)
\hlabel{ps8}{9}                 % problem set 8 (pset8.tex)
\hlabel{ps9}{10}                % problem set 9 (pset9.tex)
\hlabel{ps10}{11}               % problem set 10 (pset10.tex)

% Local Variables: 
% mode: plain-tex
% TeX-master: t
% End: 




