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

diff --git a/mjotex.sty b/mjotex.sty
index 1003760..5b89cd7 100644
--- a/mjotex.sty
+++ b/mjotex.sty
@@ -1,8 +1,9 @@
 \input{mjo-algorithm}
+\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}