The Coq mailing list

[Amy Felty <afelty AT site.uottawa.ca>]

We noticed the use of the Cofix tactic in some example proof development
that we came across, but we haven't been able to find a description of
this tactic in the documentation.  Can anyone explain how it works?
Please send any response to both myself and Guy Beaulieu.  Thank you in
advance.

Amy Felty

-------------------
To unsubscribe, mail 
coq-club-request AT pauillac.inria.fr
Bug reports: http://coq.inria.fr/bin/coq-bugs
Coq-Club Archives: http://coq.inria.fr/mailing-lists/coqclub/