HOL html

Files Index

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_

Theorems Index

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_

---

T (theorems)

TERM_UNION
TERM_UNION_NONEW
TERM_UNION_THM
TERM_VALUATION_ITLIST
TERM_VALUATION_VALMOD
TERM_VALUATION_VFREE_IN
TRANS_correct
TRUE_NE_FALSE
TYPESET_INHABITED
TYPESET_LEMMA
TYPE_SUBST
term_INDUCT,term_RECURSION
term_valuation
th
true_def
type_INDUCT,type_RECURSION
type_valuation
typeof
typeset