Uses of Package
com.meyling.principia.logic.paragraph

Packages that use com.meyling.principia.logic.paragraph

com.meyling.principia.html
com.meyling.principia.latex
com.meyling.principia.logic.paragraph
com.meyling.principia.logic.rule
com.meyling.principia.module

Classes in com.meyling.principia.logic.paragraph used by com.meyling.principia.html

ProofLine
A proof line of a mathematical proof.

Classes in com.meyling.principia.logic.paragraph used by com.meyling.principia.latex

ProofLine
A proof line of a mathematical proof.

Classes in com.meyling.principia.logic.paragraph used by com.meyling.principia.logic.paragraph

ParagraphCheck
Every main Paragraph entry must implement this interface.

ProofLineList
List of proof lines.

Classes in com.meyling.principia.logic.paragraph used by com.meyling.principia.logic.rule

ProofLineList
List of proof lines.

RuleDeclaration
Declares a logical rule.

Classes in com.meyling.principia.logic.paragraph used by com.meyling.principia.module

Abbreviation
Abbreviation.

Axiom
Logical Axiom.

ProofLine
A proof line of a mathematical proof.

Proposition
Logical sentence.

RuleDeclaration
Declares a logical rule.

Sentence
Logical sentence.