log tests/fact.ur

age author description
2011-08-02 Adam Chlipala Compile self-tail-calls as gotos