K 10
svn:author
V 4
hoek
K 8
svn:date
V 27
2000-05-25T05:07:50.000000Z
K 7
svn:log
V 36
Add a missing negative to a clause.

END