Back to index

wims  3.65+svn20090927
Classes | Namespaces
Mfd2Substitution.java File Reference

Go to the source code of this file.

Classes

class  fr.ove.openmath.jome.model.Mfd2Substitution
 The substitution model of the symbol, with the same name, in the Mfd2 cd. More...

Namespaces

package  fr.ove.openmath.jome.model