Quot/quotient_typ.ML
Wed, 13 Jan 2010 16:39:20 +0100 Christian Urban one more item in the list of Markus
Tue, 12 Jan 2010 17:46:35 +0100 Cezary Kaliszyk More indenting, bracket removing and comment restructuring.
Mon, 11 Jan 2010 16:33:00 +0100 Christian Urban started to adhere to Wenzel-Standard
less more (0) -10 -3 tip