coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Is there a tactic to do this in a convenient way?

From: Chris Dams <chris.dams.nl AT gmail.com>
To: coq-club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Is there a tactic to do this in a convenient way?
Date: Sun, 13 Nov 2016 06:56:55 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=chris.dams.nl AT gmail.com; spf=Pass smtp.mailfrom=chris.dams.nl AT gmail.com; spf=None smtp.helo=postmaster AT mail-it0-f50.google.com
Ironport-phdr: 9a23:68/hCRapOuJip/3DrCpniB3/LSx+4OfEezUN459isYplN5qZoM65bnLW6fgltlLVR4KTs6sC0LuN9fi/EjZcv96oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCzbL52Ihi6txndu8sZjYd8Jas8ywbCr2dVdehR2W5mP0+YkQzm5se38p5j8iBQtOwk+sVdT6j0fLk2QKJBAjg+PG87+MPktR/YTQuS/XQcSXkZkgBJAwfe8h73WIr6vzbguep83CmaOtD2TawxVD+/4apnVAPkhSEaPDM/7WrZiNF/jLhDrR2jqRxxw4DaboKIOvRgYqzQZskVSXZbU8tLSyBNHoGxYo0SBOQBJ+ZYqIz9qkMQoBu+HwmsBfjvwSJGiHDs2K06yPkqHAba0wwgBdIOsW/UoM/oO6gIVOC117PEzTPHb/5N1jf97ZLHchElof2WQb1wds/RxFApGgjYjVuQsZToMy2J2ukJqWSW7OptWfixh2I6pAx9uDiiytsqh4LUnIwa0ErE+j98wIstJd23Vkp7Ydm8HZtVrS6aNo92TtojQ2F0pCo207MGtJ6ncCQQx5QnwBnfa/ODc4eW+B7sSOGRITJgiHJkfrKwmQqy/FC+xuHgUsS4ylVHoypfntXSq3wA2Abf58ibRvdl+0euwzeP1wTd6uFeJkA0kLLWJIIhwr4ql5oTql7PETLsl0Xzl6+abEMk+uyz5uToZ7XpvJ6cN4tuhg7iNaQun9SzAf4kPQgWQ2ib5eO82aX/8k3+WbVGl+E5kq3EsJ/BPskbva64AwpN0ok58Rq/DjGm0M4ZnXYdNl5FdgiH3MDVPATFJ+m9BvOiiRz4mzBygvvCI7fJA5PXL3GFnq23Lphn7EsJ4wopzMsXy5tREflVK/LpW1S3uNXdFVk/NyS7xu/mDJN20YZICjHHObOQLK6H6QzA3ekoOeTZPII=

Dear All,

Thank you very much for all of your numerous suggestions. The one by Laurent Théry looked the most simple to me so I tried that and it works very well.

Have a good day,

Chris

[Coq-Club] Is there a tactic to do this in a convenient way?, Chris Dams, 11/12/2016
- Re: [Coq-Club] Is there a tactic to do this in a convenient way?, Xavier Leroy, 11/12/2016
- Re: [Coq-Club] Is there a tactic to do this in a convenient way?, Jonathan Leivent, 11/12/2016
  - Re: [Coq-Club] Is there a tactic to do this in a convenient way?, Jonathan Leivent, 11/12/2016
- Re: [Coq-Club] Is there a tactic to do this in a convenient way?, Gabriel Scherer, 11/12/2016
- Re: [Coq-Club] Is there a tactic to do this in a convenient way?, Dominique Larchey-Wendling, 11/12/2016
- Re: [Coq-Club] Is there a tactic to do this in a convenient way?, Laurent Thery, 11/12/2016
  - Re: [Coq-Club] Is there a tactic to do this in a convenient way?, Gabriel Scherer, 11/12/2016
  - Re: [Coq-Club] Is there a tactic to do this in a convenient way?, Chris Dams, 11/13/2016
- Re: [Coq-Club] Is there a tactic to do this in a convenient way?, Gaetan Gilbert, 11/12/2016