is_neg : term -> bool
STRUCTURE
SYNOPSIS
Tests a term to see if it is a negation.
DESCRIPTION
If M has the form ~t, then is_neg M returns true. If the term is not a negation the result is false.
FAILURE
Never fails.
SEEALSO
HOL  Kananaskis-13