X-Git-Url: http://gitweb.michael.orlitzky.com/?p=mjotex.git;a=blobdiff_plain;f=mjotex.sty;h=f85f77939c0d709e61474f4629e78c8aedb8950e;hp=43fdfd70617df94c6b2ae6a4199e236b96a1d284;hb=f9205a3b883c08499edfdd3f9d1a6170a6fc6755;hpb=d4712abb88a2f342f31bbd60426d1a983df05ac2

diff --git a/mjotex.sty b/mjotex.sty
index 43fdfd7..f85f779 100644
--- a/mjotex.sty
+++ b/mjotex.sty
@@ -10,8 +10,8 @@
 \input{mjo-font}
 \input{mjo-linear_algebra}
 \input{mjo-listing}
-\input{mjo-misc}
 \input{mjo-proof_by_cases}
+\input{mjo-set}
 \input{mjo-theorem}
 \input{mjo-theorem-star}
 \input{mjo-topology}