Quot/QuotMain.thy
Mon, 25 Jan 2010 18:13:44 +0100 Christian Urban renamed QuotScript to QuotBase
Mon, 25 Jan 2010 17:53:08 +0100 Christian Urban cleaned some theorems
less more (0) -30 -10 -2 tip