Renamed 'not' to 'negated', since 'not' is special in C++. Added some includes, etc. This was SVN commit r4665.
This was SVN commit r3802.
This was SVN commit r2084.