log tests/reactive4.ur

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