Add mjo-theorem-star.tex.

[mjotex.git] / mjotex.sty

diff --git a/mjotex.sty b/mjotex.sty
index 100376032d398a863784efca078557704d376258..68164d18dc96b1594287fe0da83a3c71b4b2ad46 100644 (file)
--- a/mjotex.sty
+++ b/mjotex.sty
@@ -1,8 +1,12 @@
 \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-theorem-star}
 \input{mjo-topology}