src/HOL/Quotient_Examples/Quotient_Int.thy
Mon, 12 Jul 2010 10:48:37 +0200 haftmann dropped superfluous [code del]s
less more (0) -1 tip