Package

at.logic.gapt.formats

xml

Permalink

package xml

Visibility
  1. Public
  2. All

Type Members

  1. trait HOLTermXMLExporter extends AnyRef

    Permalink
  2. class ProofDatabase extends AnyRef

    Permalink
  3. class TestException extends Exception

    Permalink

Value Members

  1. object Match

    Permalink
  2. object XMLParser

    Permalink

    This object contains several classes responsible for the parsing of the CERES XML format, according to the proofdatabase.dtd version 5.0.

Ungrouped