Add mjo-theorem-star.tex.

[mjotex.git] / mjotex.sty

diff --git a/mjotex.sty b/mjotex.sty
index 0d90d928dcce44d835c995827b1d68d279c07e34..68164d18dc96b1594287fe0da83a3c71b4b2ad46 100644 (file)
--- a/mjotex.sty
+++ b/mjotex.sty
@@ -8,4 +8,5 @@
 \input{mjo-misc}
 \input{mjo-proof_by_cases}
 \input{mjo-theorem}
+\input{mjo-theorem-star}
 \input{mjo-topology}