ivor-0.1.11: Theorem proving library based on dependent type theoryContentsIndex
ABCDEFGHIKLMNOPQRSTUVW>
Index (C)
Call
call
callterm
CantInfer
CantUnify
Case
cases
check
checkCtxt
claim
clearSaved
Code
codetype
compile
compute
configureEq
Constant
constructors
Context
contype
converts