Tests/Test1.thy
Sun, 03 Mar 2013 12:44:42 +0000 Christian Urban added factorial as an example
less more (0) tip