Skip to Content.

Sympa Menu

coq-club - Re: [Coq-Club] About tactic inversion

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] About tactic inversion

chronological Thread

From: AUGER Cedric <Cedric.Auger AT lri.fr>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] About tactic inversion
Date: Mon, 6 Dec 2010 20:45:24 +0100

Thanks all for your replies!

-- Cedric

[Coq-Club] Equations from match-case unifiers under refine tactic, Petter Urkedal
- Re: [Coq-Club] Equations from match-case unifiers under refine tactic, Adam Chlipala
  - Re: [Coq-Club] Equations from match-case unifiers under refine tactic, Petter Urkedal
    - [Coq-Club] About tactic inversion, AUGER Cedric
      - Re: [Coq-Club] About tactic inversion, gallais @ EnsL.org
      - [Coq-Club] About the declarative mode, AUGER Cedric
        
        Re: [Coq-Club] About the declarative mode, Ian Lynagh
        
        Re: [Coq-Club] About the declarative mode, Pierre Corbineau
      - Re: [Coq-Club] About tactic inversion, Matthieu Sozeau
        
        Re: [Coq-Club] About tactic inversion, AUGER Cedric

Archive powered by MhonArc 2.6.16.