X-Git-Url: http://gitweb.michael.orlitzky.com/?p=mjotex.git;a=blobdiff_plain;f=mjo-proof_by_cases.tex;h=247d28049226213ae19173026680540fa94112c7;hp=ae4b0fc3da355637dc9f5966c52a5e6db8bf70f0;hb=fc7cfa7f3d02715cb09eae2e1c6bc501dc2d8d50;hpb=d4712abb88a2f342f31bbd60426d1a983df05ac2

diff --git a/mjo-proof_by_cases.tex b/mjo-proof_by_cases.tex
index ae4b0fc..247d280 100644
--- a/mjo-proof_by_cases.tex
+++ b/mjo-proof_by_cases.tex
@@ -8,6 +8,9 @@
 %
 % Case 2 (x < 0): derp.
 %
+\ifx\havemjoproofbycases\undefined
+\def\havemjoproofbycases{1}
+
 
 % Used below to define pcases. The ``loadonly'' parameter prevents
 % a very bad interaction with the beamer document class.
@@ -59,3 +62,6 @@
   \def\thiscase{#1}%
   \item \hfill\par\vspace{\singleblskip}
 }
+
+
+\fi