Paper/ROOT.ML
2013-02-10 Christian Urban fixed compilation of paper and typo
2013-02-03 Christian Urban made uncomputable compatible with abacus
2013-01-23 Christian Urban small updates
less more (0) -3 tip