X-Git-Url: http://gitweb.michael.orlitzky.com/?p=mjotex.git;a=blobdiff_plain;f=mjotex.sty;h=5b89cd743ff269becc60a8291fbf5ea317dc6739;hp=0d7a79be4f2c701472b4d7c5954231d1a3bc4ec6;hb=05d580bd8940274b3d3a87a364ba649dff2cf53d;hpb=3fe36343ebbb3d46f905b6daf2cc10be38bee503

diff --git a/mjotex.sty b/mjotex.sty
index 0d7a79b..5b89cd7 100644
--- a/mjotex.sty
+++ b/mjotex.sty
@@ -2,8 +2,8 @@
 \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-proof_by_cases}
+\input{mjo-theorem}
 \input{mjo-topology}