Change each proof-by-cases case to look like "Case N: conditions."

diff --git a/mjo-proof_by_cases.tex b/mjo-proof_by_cases.tex
index 3f803b8296be53eec992cce11113006fc60e0832..0050a562c13719340f74c03019d91b7c4c8a468c 100644 (file)
--- 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,