AbsConstProv | HOL.Data |
AbsTerm | HOL.Data |
AppTerm | HOL.Data |
Const | |
1 (Type/Class) | HOL.Data |
2 (Data Constructor) | HOL.Data |
ConstDef | |
1 (Type/Class) | HOL.Data |
2 (Data Constructor) | HOL.Data |
ConstProv | HOL.Data |
ConstTerm | HOL.Data |
DefConstProv | HOL.Data |
DefTypeOpProv | HOL.Data |
Name | HOL.Data |
OpType | HOL.Data |
RepConstProv | HOL.Data |
Term | |
1 (Type/Class) | HOL.Data |
2 (Data Constructor) | HOL.Data |
TermData | HOL.Data |
Type | |
1 (Type/Class) | HOL.Data |
2 (Data Constructor) | HOL.Data |
TypeData | HOL.Data |
TypeOp | |
1 (Type/Class) | HOL.Data |
2 (Data Constructor) | HOL.Data |
TypeOpDef | |
1 (Type/Class) | HOL.Data |
2 (Data Constructor) | HOL.Data |
TypeOpProv | HOL.Data |
TypeVar | |
1 (Type/Class) | HOL.Data |
2 (Data Constructor) | HOL.Data |
UndefConstProv | HOL.Data |
UndefTypeOpProv | HOL.Data |
Var | |
1 (Type/Class) | HOL.Data |
2 (Data Constructor) | HOL.Data |
VarTerm | HOL.Data |
VarType | HOL.Data |