Mon, 19 Jul 2010 16:59:43 +0100 | Christian Urban | minor polishing | changeset | files |
Mon, 19 Jul 2010 14:20:23 +0100 | Christian Urban | quote for a new paper | changeset | files |
Mon, 19 Jul 2010 08:34:38 +0100 | Christian Urban | corrected lambda-preservation theorem | changeset | files |
Mon, 19 Jul 2010 07:49:10 +0100 | Christian Urban | minor | changeset | files |
Sun, 18 Jul 2010 19:07:05 +0100 | Christian Urban | minor things on the paper | changeset | files |
Sun, 18 Jul 2010 17:03:05 +0100 | Christian Urban | merged | changeset | files |
Sun, 18 Jul 2010 17:02:33 +0100 | Christian Urban | minor things | changeset | files |
Sun, 18 Jul 2010 16:06:34 +0100 | Christian Urban | some test with quotient | changeset | files |