ivor-0.1.11: Theorem proving library based on dependent type theoryContentsIndex
ABCDEFGHIKLMNOPQRSTUVW>
Index (G)
generalise
GenRec
getAllDefs
getAllInductives
getAllPatternDefs
getAllTypes
getApp
getArgTypes
getConstructorArity
getConstructors
getConstructorTag
getContext
getDef
getElimRule
getError
getFnArgs
getGoal
getGoals
getInductive
getPatternDef
getReturnType
getType
Goal
goal
GoalData
goalData
goalName
goalType