log tests/reactive4.urp

age author description
2008-12-30 Adam Chlipala Propagating a change through a bind