HOL.Data

type Name

data Type

data TypeData

data TypeVar

data TypeOp

data TypeOpProv

data TypeOpDef

data Var

data Term

data TermData

data Const

data ConstProv

data ConstDef