pbody : (term -> term)
STRUCTURE
pairSyntax
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
body
,
dest_pabs
HOL
Trindemossen-1