Subject: Ssreflect Users Discussion List
List archive
- From: <>
- To:
- Subject: ssrnat & omega
- Date: Mon, 8 Dec 2008 13:09:42 +0100 (CET)
Hello,
If I decided to use ssrnat, then I have to give up the omega tactic?
Best regards,
Keiko
- ssrnat & omega, keiko, 12/08/2008
- Re: ssrnat & omega, Benjamin Werner, 12/08/2008
- Re: ssrnat & omega, Benjamin Werner, 12/08/2008
- <Possible follow-up(s)>
- Re: Re: ssrnat & omega, keiko, 12/08/2008
Archive powered by MHonArc 2.6.18.