log tests/rec.urp

age author description
2008-09-09 Adam Chlipala Termination checking allows anything in links and actions