| 2013-05-24 | Christian Urban |
added definitions and proofs for right-std and left-std tapes | changeset | files |
| 2013-05-22 | Christian Urban |
moved new theries into a separate directory | changeset | files |
| 2013-05-21 | Christian Urban |
added more about UF | changeset | files |
| Loading... | |||