log tests/tail.ur

age author description
2009-09-17 Adam Chlipala Don't try to check if functions are already tail-recursive
2009-09-17 Adam Chlipala Basic tail recursion introduction seems to be working