Paper/Paper.thy
2011-01-30 urbanc some tuning of the paper
2011-01-30 urbanc revised proof of Ardens lemma
2011-01-27 urbanc tuned a little bit the section about finite partitions
2011-01-26 wu ITP-Paper loads Myhill.thy
2010-11-25 urbanc added paper
less more (0) tip