[Contents]
TYP
library for type checking of mu-EC objects
MuPAD Combinat, an open source algebraic combinatorics package