Package

at.logic.gapt.formats

xml

Permalink

package xml

Content Hierarchy Learn more about scaladoc diagrams
Visibility
  1. Public
  2. All

Type Members

  1. trait HOLTermXMLExporter extends AnyRef

    Permalink
  2. trait LKExporter extends HOLTermXMLExporter

    Permalink
  3. class ProofDatabase extends AnyRef

    Permalink
  4. class TestException extends Exception

    Permalink

Value Members

  1. object Match

    Permalink
  2. object XMLExporter

    Permalink
  3. 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.

  4. object saveXML

    Permalink

Ungrouped