log tests/transactional.urs

age author description
2010-12-04 Adam Chlipala New argument to transactional free functions, to specify whether we are about to retry