Paper/Paper.thy
2011-02-10 urbanc simplified a bit the proof
2011-02-10 urbanc more things
2011-02-10 urbanc latest on the paper
2011-02-10 urbanc more on the paper
less more (0) -10 -4 tip