Attic/FIXME-TODO
changeset 1940 0913f697fe73
parent 1281 66fc26f32f25
child 2871 b58073719b06
--- a/Attic/FIXME-TODO	Fri Apr 23 10:21:34 2010 +0200
+++ b/Attic/FIXME-TODO	Fri Apr 23 11:12:38 2010 +0200
@@ -67,6 +67,3 @@
 
   That means "qconst :: qty" is not read as a term, but
   as two entities.
-
-- Restrict automatic translation to particular quotient types
-