hol-1.3: Higher order logic (Index - U)

hol-1.3: 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 - U

Unchanged	HOL.Conv
UndefConstProv	HOL.Data
UndefTypeOpProv	HOL.Data
Union	HOL.OpenTheory.Package
union	HOL.Theory
unionList	HOL.Theory
unionName	HOL.Const