Package org.qedeq.kernel.base.module

The main funtionalities of qedeq modules are described here.

See:
Description

Interface Summary

Author	Describes a specification of a module, that means its name, versions and possible "physical" locations.
AuthorList	List of authors.
Axiom	Axiom.
Chapter	Chapter.
ChapterList	List of chapters.
FormulaOrTerm	Wraps a formula or a term.
FunctionDefinition	Definition of function operator.
Header	Header of a qedeq file.
Import	Module import.
ImportList	List of imports.
Latex	LaTeX text part.
LatexList	List of LaTeX text parts.
LinkList	List of identifiers.
LiteratureItem	One reference of a bibliography.
LiteratureItemList	Bibliography, list of literature items.
Location	Describes the "physical" directory location for a module.
LocationList	List of locations.
Node
NodeType	Marker interface for different node types.
PredicateDefinition	Definition of operator.
Proof	Contains a proof for a proposition.
ProofList
Proposition	Proposition.
Qedeq	A complete qedeq module.
Rule	Rule.
Section	Section of a qedeq file.
SectionList	List of sections.
Specification	Describes a specification of a module, that means its name, versions and possible "physical" locations.
Subsection	Special subsection of a qedeq file.
SubsectionList	List of nodes.
SubsectionType	Marker interface for different subsection types.
UsedByList	List of modules which use the current one.
VariableList	List of variables.

Package org.qedeq.kernel.base.module Description

The main funtionalities of qedeq modules are described here.