log src/termination.sig

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