hol-1.4: Higher order logic (Index - O)

hol-1.4: Higher order logic

A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
Z
All

Index - O

Object	HOL.OpenTheory.Article
Objective	HOL.OpenTheory.Article
opentheory	HOL.OpenTheory.Package
opentheoryDirectory	HOL.OpenTheory.Package
Operation	HOL.OpenTheory.Package
operation	HOL.OpenTheory.Package
ops	HOL.TypeOp
OpType	HOL.Data
OpTypeCommand	HOL.OpenTheory.Article
orelse	HOL.Conv