Tests/Test1.thy
2013-03-03 Christian Urban added factorial as an example
2013-03-01 Christian Urban added a test to make the simplifier be fast enough to do actual compilations
less more (0) tip