Fri, 10 May 2013 09:06:48 +0100 | Christian Urban |
added test version | changeset | files |
Thu, 09 May 2013 18:16:36 +0100 | Christian Urban |
added lemmas about a pairing function | changeset | files |
Thu, 02 May 2013 13:19:50 +0100 | Christian Urban |
polised a bit of the Recs-theory | changeset | files |