The Coq mailing list

[Alex Suzuki <as AT cynox.ch>]

Pierre Casteran wrote:
> Hello Alex,
>
> You can use "Inductive ... with  " for defining simultaneously two 
> inductive types:
> [...]

Thanks alot! This goes for all who replied. :-)

Regards,
  Alex
--
Alex Suzuki | 
as AT cynox.ch
 | http://n.ethz.ch/student/asuzuki
Most people are other people. Their thoughts are someone else's
opinions, their lives a mimicry, their passions a quotation.
- Oscar Wilde