Uses of Class
fmrisc.ProofNavigator.Syntax.DeclarationBase

Packages that use DeclarationBase

Package	Description
fmrisc.ProofNavigator.Syntax

Uses of DeclarationBase in fmrisc.ProofNavigator.Syntax

Subclasses of DeclarationBase in fmrisc.ProofNavigator.Syntax

Modifier and Type	Class and Description
class	AxiomDeclaration Handling of type declarations.
class	FormulaDeclaration Handling of type declarations.
class	TypeDeclaration Handling of type declarations.
class	ValueDeclaration Handling of value declarations.