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

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}