Indexsheaf-0.2.0.0
A–Z
- AppSheaf.Theory
- checkMorphismSheaf.Morphism
- composeMorphismSheaf.Morphism
- conditionalSheaf.Theory
- declaresSortSheaf.Theory
- DuplicateOpNameSheaf.Theory
- emptyTheorySheaf.Theory
- eqLhsSheaf.Theory
- eqPremisesSheaf.Theory
- eqRhsSheaf.Theory
- EquationSheaf.Theory
- EquationSheaf.Theory
- equationSheaf.Theory
- EquationArityMismatchSheaf.Theory
- EquationNotPreservedSheaf.Morphism
- EquationSortMismatchSheaf.Theory
- EquationUsesUnknownOpSheaf.Theory
- EquationVarClashSheaf.Theory
- identityMorphismSheaf.Morphism
- isMorphismSheaf.Morphism
- mapOpSheaf.Morphism
- mapSortSheaf.Morphism
- mapTermSheaf.Morphism
- MismatchedCompositeSheaf.Morphism
- morOpMapSheaf.Morphism
- MorphismSheaf.Morphism
- MorphismSheaf.Morphism
- MorphismErrorSheaf.Morphism
- morSortMapSheaf.Morphism
- morSourceSheaf.Morphism
- morTargetSheaf.Morphism
- OpSheaf.Theory
- OpSheaf.Theory
- opArgsSheaf.Theory
- OpArityChangedSheaf.Morphism
- opNameSheaf.Theory
- opNamesSheaf.Theory
- OpNotInTargetSheaf.Morphism
- opResultSheaf.Theory
- OpSortsChangedSheaf.Morphism
- OpUsesUndeclaredSortSheaf.Theory
- parseTheorySheaf.Theory
- PremiseSheaf.Theory
- PremiseSheaf.Theory
- printTheorySheaf.Theory
- ReservedOpNameSheaf.Theory
- SortSheaf.Theory
- SortSheaf.Theory
- sortNameSheaf.Theory
- sortNamesSheaf.Theory
- SortNotInTargetSheaf.Morphism
- TermSheaf.Theory
- TheorySheaf.Theory
- TheorySheaf.Theory
- theorySheaf.Theory
- theoryEquationsSheaf.Theory
- theoryOpsSheaf.Theory
- theorySortsSheaf.Theory
- VarSheaf.Theory
- wellFormedSheaf.Theory
- WellFormedErrorSheaf.Theory