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.