\Minput{.}{BooleanSemiRing}
\Minput{.}{FreeModule}
\Minput{.}{MaxMinSemiRing}
\Minput{.}{MaxPlusSemiRing}
\Minput{.}{MinPlusSemiRing}
\Minput{.}{MinMaxSemiRing}
\Minput{.}{PermutationGroup}
\Minput{.}{QuotientFreeModule}
\Minput{.}{SemiRing}
\Minput{.}{SparseMatrix_LinBox}
\Minput{.}{SubFreeModule}
\Minput{.}{SymmetricGroup}
\Minput{.}{TensorProductOfFreeModules}
\Minput{.}{WeightedAutomaton}
