The Coq mailing list

[Djamila Baroudi <baroudi.d7 AT gmail.com>]

Hello Everybody.

I want to express this on coq:

Each action(s) from X lead(s) to all action(s) from Y

X and Y are lists 

I need your help.

Thanks.

--

Mlle Djamila Baroudi                           

Faculté des Sciences Exactes et Informatique,        

Université de Mostaganem,

27000 Mostaganem, Algérie.