changed fmEquals to return UnSupported in the fall-through case, and fmNot to return  BoolUnOp (Not, tm) for otherwise unrecognized tm's.
changed fmEquals to return UnSupported in the fall-through case,
and fmNot to return  BoolUnOp (Not, tm) for otherwise unrecognized
tm's.


git-svn-id: 9ecf60ce9baff443e30a0472d3fd222fcb8117cf@2527 7b97033b-253e-4a5c-9b07-e25f9089a9fd

KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware