Paper/Paper.thy
2013-03-07 Christian Urban tuned conclusion
2013-03-07 Christian Urban small typo in the paper
2013-03-06 Christian Urban added a comment about deeply embedding of recursive functions
less more (0) -30 -10 -3 tip