gf-3.9: Grammatical Framework

Index - I

IdentGF
ident2labelGF
ident2rawGF
ident2terminalGF
ident2utf8GF
identAGF
identAVGF
identCGF
identSGF
identVGF
identWGF
ifNullGF.Support
ImplArgGF
ImplicitGF
indentGF.Support
inferExprPGF
InfoGF
inheritAllGF
InitPathGF.Support
initStatePGF
int2termGF
InternalGF
IOEGF.Support
ioErrorTextGF.Support
isAGreekPunctPGF.LexingAGreek
isAGreekVowelPGF.LexingAGreek
isArgIdentGF
isClosingPGF.Lexing
isCompilableModuleGF
isCompleteModuleGF
isEmptyGF.Text.Pretty
isEncliticPGF.LexingAGreek
isGFGF.Support
isGFOGF.Support
isHigherOrderTypeGF
isInBinTreeGF.Support
isInheritedGF
isInMorphoPGF
isLexicalCatGF.Support
isLiteralCatGF.Support
isMajorPunctPGF.Lexing
isMinorPunctPGF.Lexing
isModAbsGF
isModCncGF
isModResGF
isParenPGF.Lexing
isPredefConstantGF
isPrefixOfGF
isProcliticPGF.LexingAGreek
isPunctPGF.Lexing
isRecursiveTypeGF
isTypeIntsGF
isVariableGF
isWildIdentGF
iterFixGF.Support