exists1 : term
STRUCTURE
SYNOPSIS
Constant denoting the unique existence quantifier.
LIBRARY
boolSyntax
DESCRIPTION
The ML variable boolSyntax.exists1 is bound to the term bool$?!.
SEEALSO
HOL  Trindemossen-1