Paper/Paper.thy
Thu, 07 Mar 2013 13:19:42 +0000 Christian Urban small typo in the paper
Wed, 06 Mar 2013 00:59:18 +0000 Christian Urban added a comment about deeply embedding of recursive functions
less more (0) -30 -10 -2 tip