| 2011-02-02 | urbanc | a little bit in the introduction | file | diff | annotate |
| 2011-01-31 | urbanc | a bit more on the paper | file | diff | annotate |
| 2011-01-30 | urbanc | small typo | file | diff | annotate |
| 2011-01-30 | urbanc | tuning of the syntax; needs the stmaryrd latex package | file | diff | annotate |
| 2011-01-30 | urbanc | some tuning of the paper | file | diff | annotate |
| 2011-01-30 | urbanc | revised proof of Ardens lemma | file | diff | annotate |