hol-1.0: Higher order logic

Index

AbsConstProvHOL.Data
AbsTermHOL.Data
AppTermHOL.Data
Const 
1 (Type/Class)HOL.Data
2 (Data Constructor)HOL.Data
ConstDef 
1 (Type/Class)HOL.Data
2 (Data Constructor)HOL.Data
ConstProvHOL.Data
ConstTermHOL.Data
DefConstProvHOL.Data
DefTypeOpProvHOL.Data
NameHOL.Data
OpTypeHOL.Data
RepConstProvHOL.Data
Term 
1 (Type/Class)HOL.Data
2 (Data Constructor)HOL.Data
TermDataHOL.Data
Type 
1 (Type/Class)HOL.Data
2 (Data Constructor)HOL.Data
TypeDataHOL.Data
TypeOp 
1 (Type/Class)HOL.Data
2 (Data Constructor)HOL.Data
TypeOpDef 
1 (Type/Class)HOL.Data
2 (Data Constructor)HOL.Data
TypeOpProvHOL.Data
TypeVar 
1 (Type/Class)HOL.Data
2 (Data Constructor)HOL.Data
UndefConstProvHOL.Data
UndefTypeOpProvHOL.Data
Var 
1 (Type/Class)HOL.Data
2 (Data Constructor)HOL.Data
VarTermHOL.Data
VarTypeHOL.Data