mk_neg : (term -> term)
STRUCTURE
SYNOPSIS
Constructs a negation.
DESCRIPTION
mk_neg "t" returns "~t".
FAILURE
Fails with mk_neg unless t is of type bool.
SEEALSO
HOL  Trindemossen-1