Sample LaTeX source and macros for lecture notes 03-induction.tex -- notes for lecture 3 14-cutelim.tex -- notes for lecture 14, including linear connectives code.sty -- slightly improved code environment lecnotes.sty -- standard macros for all lecture notes proof.sty -- macros for typesetting deductions