]> gitweb.michael.orlitzky.com - mjotex.git/search
mjo-proof_by_cases.tex: indent the cases and use italics for "Case N".