2011-09-21 Cezary Kaliszyk spelling
2011-09-21 Christian Urban added comments from Andrei
2011-09-21 Christian Urban bib
2011-09-21 Christian Urban more polishing
2011-09-21 Christian Urban added a footnote
2011-09-21 Christian Urban some minor polishing
2011-09-21 Christian Urban some minor polishing
2011-09-21 Christian Urban merged
2011-09-21 Christian Urban some polishing
2011-09-21 Cezary Kaliszyk Alternate versions of alpha for finitely supported types on the raw level
2011-09-21 Christian Urban merged
2011-09-21 Christian Urban changes
Loading...
(0) -3000 -1000 -300 -100 -12 +12 +100 tip