Quot/QuotBase.thy
Wed, 10 Feb 2010 20:35:54 +0100 Christian Urban cleaned a bit
Wed, 10 Feb 2010 17:10:52 +0100 Cezary Kaliszyk hg-added the added file.
Wed, 10 Feb 2010 17:02:29 +0100 Cezary Kaliszyk Changes from Makarius's code review + some noticed fixes.
less more (0) -10 -3 tip