From 0eb66e736e01afbfafb356135b1031d823a397bc Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Tue, 9 Aug 2016 23:47:08 -0400
Subject: [PATCH] Change each proof-by-cases case to look like "Case N:
 conditions."

---
 mjo-proof_by_cases.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mjo-proof_by_cases.tex b/mjo-proof_by_cases.tex
index 3f803b8..0050a56 100644
--- a/mjo-proof_by_cases.tex
+++ b/mjo-proof_by_cases.tex
@@ -20,7 +20,7 @@
 % another.
 \newlist{pcases}{enumerate}{1}
 \setlist[pcases]{
-  label=\textbf{Case~\arabic*}~(\protect\thiscase)\textbf{:},
+  label=\textbf{Case~\arabic*}:~\protect\thiscase\textbf{.},
   ref=\arabic*,
   align=left,
   leftmargin=0pt,
-- 
2.43.2