mjo-misc: rename to mjo-set.

[mjotex.git] / mjotex.sty

diff --git a/mjotex.sty b/mjotex.sty
index 43fdfd70617df94c6b2ae6a4199e236b96a1d284..f85f77939c0d709e61474f4629e78c8aedb8950e 100644 (file)
--- 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}