Type.gamma

gamma : hol_type

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

HOL Kananaskis-10