This patch corrects a minor mis-statement in the CREATE DOMAIN docs,pointed out by Chris KL on -hackers a little while ago -- NOT NULL !=CHECK xxx IS NOT NULL.
Cheers,
Neil
-- Neil Conway <neilc(at)samurai(dot)com> || PGP Key ID: DB3C29FC