Paper/Paper.thy
2013-03-06 Christian Urban added a comment about deeply embedding of recursive functions
2013-02-27 Christian Urban added a coment about partial_function
less more (0) -30 -10 -2 tip