If it's true that the ALTER TABLE x ADD CONSTRAINT x CHECK (x) syntax issupported in 7.1.1, here is a patch to that alter_table.sgml that documentsit.
Chris