| 2011-02-02 | urbanc | more on the intro | file | diff | annotate |
| 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 |
| 2011-01-27 | urbanc | tuned a little bit the section about finite partitions | file | diff | annotate |
| 2011-01-26 | wu | ITP-Paper loads Myhill.thy | file | diff | annotate |
| 2010-11-25 | urbanc | added paper | file | diff | annotate |