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

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 - G

geName	HOL.Const
geRealName	HOL.Const
getInfo	HOL.OpenTheory.Package
global	HOL.Name
gtName	HOL.Const
gtRealName	HOL.Const