Type.delta

delta : hol_type

STRUCTURE: Type
SYNOPSIS: Common type variable.
LIBRARY: Type
DESCRIPTION: The ML variable Type.delta is bound to the type variable 'd.
SEEALSO: alpha, beta, gamma, bool

HOL Kananaskis-13