Subject: Ssreflect Users Discussion List
List archive
- From: <>
- To:
- Subject: abbreviation by the set tactic for the entire context
- Date: Fri, 20 Jun 2008 10:40:31 +0200 (CEST)
Hello again and thank you for the reply yesterday.
Is it possible to define an abbreviation and fold it in all the facts
appearing
in the context without enumerating all their names?
I could not find out how to do it with set + in tacticals.
Best regards,
Keiko
- abbreviation by the set tactic for the entire context, keiko.nakata, 06/20/2008
- Re: abbreviation by the set tactic for the entire context, Assia Mahboubi, 06/20/2008
- Re: abbreviation by the set tactic for the entire context, Benjamin Werner, 06/20/2008
- <Possible follow-up(s)>
- Re: abbreviation by the set tactic for the entire context, keiko.nakata, 06/20/2008
- RE: abbreviation by the set tactic for the entire context, Georges Gonthier, 06/20/2008
- Re: abbreviation by the set tactic for the entire context, keiko.nakata, 06/20/2008
- Re: abbreviation by the set tactic for the entire context, Assia Mahboubi, 06/20/2008
Archive powered by MHonArc 2.6.18.