pbody : (term -> term)
STRUCTURE
LIBRARY
pair
SYNOPSIS
Returns the body of a paired abstraction.
DESCRIPTION
pbody "\pair. t" returns "t".
FAILURE
Fails unless the term is a paired abstraction.
SEEALSO
HOL  Trindemossen-1