Paper/Paper.thy
Sun, 30 Jan 2011 17:09:02 +0000 urbanc some tuning of the paper
Sun, 30 Jan 2011 16:59:57 +0000 urbanc revised proof of Ardens lemma
Thu, 27 Jan 2011 00:51:46 +0000 urbanc tuned a little bit the section about finite partitions
less more (0) -3 tip