2013-05-24 Christian Urban added definitions and proofs for right-std and left-std tapes
2013-05-22 Christian Urban moved new theries into a separate directory
2013-05-21 Christian Urban added more about UF
Loading...
(0) -100 -30 -10 -3 +3 +10 +30 tip