This trait parses the elements subsumed under the entity &abstractterm;
This trait parses XML elements subsumed under the &formula; entity into their respective objects.
All concrete parsers for CERES XML elements will implement this trait
This trait parses XML elements <proof>, <rule> and <prooflink> into the respective objects.
This trait parses XML elements <proof>, <rule> and <prooflink> into the respective objects.
TODO: prooflink parsing is not supported yet!
This trait parses XML elements <sequent>, <sequentlist> and <formulalist> into the respective objects.
This trait parses the elements subsumed under the entity &setterm;
This trait parses the elements subsumed under the entity &term;
This trait parses XML elements <variablelist> into Lists of Var objects.
This object provides some utility functions which are useful when parsing CERES XML elements.
This object contains several classes responsible for the parsing of the CERES XML format, according to the proofdatabase.dtd version 5.0.