2011-02-10 | urbanc | simplified a bit the proof | file | diff | annotate |
2011-02-10 | urbanc | more things | file | diff | annotate |
2011-02-10 | urbanc | latest on the paper | file | diff | annotate |
2011-02-10 | urbanc | more on the paper | file | diff | annotate |