Thu, 02 May 2013 13:19:50 +0100 | Christian Urban |
polised a bit of the Recs-theory | changeset | files |
Thu, 02 May 2013 12:49:33 +0100 | Christian Urban |
repaired old files | changeset | files |
Thu, 02 May 2013 12:49:15 +0100 | Christian Urban |
eliminated explicit swap_lemmas | changeset | files |