Uses of Interface com.meyling.principia.logic.paragraph.ParagraphCheck (PMII - Principia Mathematica II)

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV NEXT | FRAMES NO FRAMES

## Uses of Interface
com.meyling.principia.logic.paragraph.ParagraphCheck

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

Uses of ParagraphCheck in com.meyling.principia.logic.paragraph

Classes in com.meyling.principia.logic.paragraph that implement ParagraphCheck
`class` | `Abbreviation` Abbreviation.
`class` | `Axiom` Logical Axiom.
`class` | `Proposition` Logical sentence.
`class` | `RuleDeclaration` Declares a logical rule.

Methods in com.meyling.principia.logic.paragraph that return ParagraphCheck
`ParagraphCheck` | `Paragraph.getParagraphCheck()` Get the meat of this paragraph.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV NEXT | FRAMES NO FRAMES

©left GNU General Public Licence All Rights Reserved.