Package org.activemath.omdocjdom.slumb.data

Class Summary

OMDocFile	Denotes an OMDoc file on disk.
SlumbElt	A class to model an element being stored into the index.
SlumbRelation
SlumbRelation.RelList
Theory	Denotes a theory element inside a file.