Fri, 06 Aug 2010 12:38:02 +0200 merged
wenzelm [Fri, 06 Aug 2010 12:38:02 +0200] rev 38217
merged
Fri, 06 Aug 2010 11:37:33 +0200 merged
blanchet [Fri, 06 Aug 2010 11:37:33 +0200] rev 38216
merged
Fri, 06 Aug 2010 11:35:10 +0200 quotient types registered as codatatypes are no longer quotient types
blanchet [Fri, 06 Aug 2010 11:35:10 +0200] rev 38215
quotient types registered as codatatypes are no longer quotient types
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip