X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjotex.sty;h=0d90d928dcce44d835c995827b1d68d279c07e34;hb=b82239a2170e2f408d81734df2e6605c47e949b3;hp=0d7a79be4f2c701472b4d7c5954231d1a3bc4ec6;hpb=6b246624b022f6d16e151f5475206ed1636fcf96;p=mjotex.git

diff --git a/mjotex.sty b/mjotex.sty
index 0d7a79b..0d90d92 100644
--- a/mjotex.sty
+++ b/mjotex.sty
@@ -1,9 +1,11 @@
 \input{mjo-algorithm}
+\input{mjo-arrow}
 \input{mjo-common}
 \input{mjo-cone}
 \input{mjo-convex}
-\input{mjo-fonts}
+\input{mjo-font}
 \input{mjo-linear_algebra}
-\input{mjo-pcases}
-\input{mjo-theorems}
+\input{mjo-misc}
+\input{mjo-proof_by_cases}
+\input{mjo-theorem}
 \input{mjo-topology}