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