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

diff --git a/mjotex.sty b/mjotex.sty
index 0d90d92..68164d1 100644
--- 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}