List of all items[−]
Structs
- DeclIter
- DefBuilder
- Header
- HypListRef
- HypNames
- HypsEntryRef
- Mm0Writer
- MmbFile
- NameEntry
- NameEntryRef
- ProofIter
- SortData
- SymbolNames
- TableEntry
- TermEntry
- TermRef
- ThmBuilder
- ThmEntry
- ThmRef
- Type
- UnifyIter
- VarListRef
- VarNames
Enums
Traits
Macros
Functions
Typedefs
Constants
- MAX_BOUND_VARS
- TYPE_BOUND_MASK
- TYPE_DEPS_MASK
- TYPE_SORT_MASK
- cmd::DATA_16
- cmd::DATA_32
- cmd::DATA_8
- cmd::DATA_MASK
- cmd::INDEX_HYP_NAME
- cmd::INDEX_NAME
- cmd::INDEX_VAR_NAME
- cmd::MM0B_MAGIC
- cmd::MM0B_VERSION
- cmd::PROOF_CONG
- cmd::PROOF_CONV
- cmd::PROOF_CONV_CUT
- cmd::PROOF_CONV_SAVE
- cmd::PROOF_DUMMY
- cmd::PROOF_HYP
- cmd::PROOF_REF
- cmd::PROOF_REFL
- cmd::PROOF_SAVE
- cmd::PROOF_SORRY
- cmd::PROOF_SYMM
- cmd::PROOF_TERM
- cmd::PROOF_TERM_SAVE
- cmd::PROOF_THM
- cmd::PROOF_THM_SAVE
- cmd::PROOF_UNFOLD
- cmd::STMT_AXIOM
- cmd::STMT_DEF
- cmd::STMT_LOCAL
- cmd::STMT_LOCAL_DEF
- cmd::STMT_LOCAL_THM
- cmd::STMT_SORT
- cmd::STMT_TERM
- cmd::STMT_THM
- cmd::UNIFY_DUMMY
- cmd::UNIFY_HYP
- cmd::UNIFY_REF
- cmd::UNIFY_TERM
- cmd::UNIFY_TERM_SAVE