Quot/QuotList.thy
Mon, 25 Jan 2010 20:35:42 +0100 Christian Urban re-inserted lemma in QuotList
less more (0) -10 -1 tip