
% master handout list

\hlabel{info}{1}		% course-info.tex
\hlabel{dq}{2}			% diagnostic-quiz.tex
\hlabel{one-step}{3}		% one-step.tex, Step-by-step rewrite%
					% rules for IMP
\hlabel{ps1}{4}			% ps1.tex, Problem set 1
\hlabel{ps-instructions}{5}	% ps-instructions.tex, Instructions%
					% for Problem Sets
\hlabel{dqs}{6}			% diagnostic-quiz-solutions.tex
\hlabel{ps2}{7}			% ps2.tex, Problem set 2
\hlabel{ps1s}{8}		% ps1-solutions.tex, Problem set 1 solutions
\hlabel{ps1-2bs}{9}             % ps1-solution-addendum.tex, addendum to%
			        	% ps1, problem 2b solution
\hlabel{nat1equ}{10}		% replaced by handout 12 below
\hlabel{ps3}{11}		% ps3.tex, Problem set 3
\hlabel{nat1equ-rev}{12}	% nat-vs-one-revised.tex, equivalence of%
					% natural and one-step semantics
\hlabel{outline-1-19}{13}	% outline-lectures-1-19.tex, see handout 43
\hlabel{one-step-res}{14}	% one-step-IMPresultis.tex, Step-by-step%
					% rewrite rules for IMP_r
\hlabel{q1s-91}{15}		% last-years-quiz-1.tex, with solutions
\hlabel{q1}{16}			% q1.tex, QUIZ 1
\hlabel{q1s}{17}		% q1-solutions.tex, Quiz 1 Solutions
\hlabel{ps4}{18}		% ps4.tex, Problem set 4
\hlabel{q1-stats}{19}		% q1-stats.tex, Quiz 1 grading statistics
\hlabel{ps5}{20}		% ps5.tex, Problem set 5
\hlabel{ps2s}{21}		% ps2-solutions.tex, Problem set 2 solutions
\hlabel{ps3s}{22}		% ps3-solutions.tex, Problem set 3 solutions
\hlabel{ps4s}{23}		% ps4-solutions.tex, Problem set 4 solutions
\hlabel{q2s-91}{24}		% last-years-quiz-2.tex, with solutions
\hlabel{q3s-91}{25}		% last-years-quiz-3.tex, with solutions
\hlabel{ps5s}{26}		% ps5-solutions.tex, Problem set 5 solutions
\hlabel{q2}{27}			% q2.tex, QUIZ 2
\hlabel{ps6}{28}		% ps6.tex, Problem set 6
\hlabel{q2-stats}{29}		% q2-stats.tex, Quiz 2 grading statistics
\hlabel{q2s}{30}		% q2-solutions.tex, Quiz 2 Solutions
\hlabel{ps7}{31}		% ps7.tex, Problem set 7
\hlabel{expressiveness}{32}	% expressiveness.tex, Notes on Expressiveness
\hlabel{q3r}{33}		% q3-review.tex, Quiz 3 review material
\hlabel{q3}{34}			% q3.tex, QUIZ 3
\hlabel{ps6s}{35}		% ps6-solutions.tex, Problem set 6 solutions
\hlabel{4-squares}{36}		% 4-squares.tex, the Four Squares theorem
\hlabel{q3s}{37}		% q3-stats.tex, Quiz 3 grading statistics
\hlabel{ps8}{38}		% ps8.tex, Problem set 8
\hlabel{translation}{39}	% semantics-by-translation.tex, translating
				% IMP_r into IMP, and IMP into counter machines
\hlabel{checkability}{40}	% checkability.tex, notes on
			 	% expressibility, checkability, decidability
\hlabel{ps9}{41}		% ps9.tex, withdrawn because of bug in prob 1(b)
\hlabel{ps9-revised}{42}	% ps9-revised.tex, Problem set 9
\hlabel{outline-1-36}{43}	% outline-lectures-1-36.tex
\hlabel{ps7s}{44}		% ps7-solutions.tex, Problem set 7 solutions
\hlabel{ps8s}{45}		% ps8-solutions.tex, Problem set 8 solutions
\hlabel{ps9s}{46}		% ps9-solutions.tex, Problem set 9 solutions
\hlabel{q4}{47}			% q4.tex, QUIZ 4
\hlabel{q4s}{48}		% q4-solutions.tex, Quiz 4 Solutions
\hlabel{q4-stats}{49}		% q4-stats.tex, Quiz 4 grading statistics
