coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Properties on mutual definitions

From: Thomas Thüm <thomas.thuem AT st.ovgu.de>
To: <coq-club AT pauillac.inria.fr>
Subject: [Coq-Club] Properties on mutual definitions
Date: Thu, 10 Dec 2009 17:30:49 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Thanks, to all. :)

The last two ideas from Cédric work for me and I decided to use the "trick",
since I do not want to change my definitions.

So long,
Thomas

[Coq-Club] Properties on mutual definitions, Thomas Th�m
- Re: [Coq-Club] Properties on mutual definitions, Adam Chlipala
  - Re: [Coq-Club] Properties on mutual definitions, Thomas Th�m
  - Message not available
    - Re: [Coq-Club] Properties on mutual definitions, Taral
- Re: [Coq-Club] Properties on mutual definitions, AUGER
  - Re: [Coq-Club] Properties on mutual definitions, muad
    - Re: [Coq-Club] Properties on mutual definitions, Adam Chlipala
      - [Coq-Club] Properties on mutual definitions, Thomas Th�m
        
        Re: [Coq-Club] Properties on mutual definitions, Adam Chlipala
        
        Re: [Coq-Club] Properties on mutual definitions, AUGER
        
        [Coq-Club] Properties on mutual definitions, Thomas Thüm