The Coq mailing list

[Vladimir Voevodsky <vladimir AT ias.edu>]

Hello,

could someone tell me where I can find the conditions which the constructors 
of co-inductive types in Coq should satisfy? In the inductive case there is 
the positivity condition, what are the co-inductive conditions?

Thanks!
Vladimir.