Fri, 24 May 2013 15:43:10 +0100 | Christian Urban |
added definitions and proofs for right-std and left-std tapes | changeset | files |
Wed, 22 May 2013 13:50:20 +0100 | Christian Urban |
moved new theries into a separate directory | changeset | files |
Tue, 21 May 2013 13:50:15 +0100 | Christian Urban |
added more about UF | changeset | files |
Tue, 21 May 2013 13:49:31 +0100 | Christian Urban |
more about the UF | changeset | files |