Quotient-Paper/Paper.thy
Wed, 23 Jun 2010 22:41:16 +0100 Christian Urban polished paper again (and took out some claims about Homeier's package)
Mon, 21 Jun 2010 15:41:59 +0100 Christian Urban further post-submission tuning
less more (0) -30 -10 -2 tip