log tests/termination.ur

age author description
2008-09-09 Adam Chlipala Termination checking