Fri, 24 May 2013 22:18:52 +0100 Christian Urban started with the definitions of the recursive functions for the UF
Fri, 24 May 2013 20:35:28 +0100 Christian Urban completed the UF-simulation lemmas
(0) -100 -30 -10 -2 +2 +10 +30 tip