| 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 |