coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Any tactic or automation for orders?

From: Vincent Laporte <vincent.laporte AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Any tactic or automation for orders?
Date: Wed, 24 Jul 2019 16:02:55 +0000
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=vincent.laporte AT gmail.com; spf=Pass smtp.mailfrom=vincent.laporte AT gmail.com; spf=None smtp.helo=postmaster AT mail-wr1-f46.google.com
Ironport-phdr: 9a23:Ek5nZRbSP4sCdxuwkAR3hG7/LSx+4OfEezUN459isYplN5qZoMqybnLW6fgltlLVR4KTs6sC17OM9fC4EjxRqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba5sIBmsrgjdqsYajIhmJ60s1hbHv3xEdvhMy2h1P1yThRH85smx/J5n7Stdvu8q+tBDX6vnYak2VKRUAzs6PW874s3rrgTDQhCU5nQASGUWkwFHDBbD4RrnQ5r+qCr6tu562CmHIc37SK0/VDq+46t3ThLjlSEKPCM7/m7KkMx9lKJVrg+/qRxxwIDabo+aO/V8cazBZt4aSnZNU9xWWSBdDI6xbY0CBPcBM+ZCqIn9okMDohS/BQmqGOzg1DlIhmPr1qM8yeshCQbG3BY8H90QrX/Zq8v1NKYUUe+p0qbIyynDY+lS2Tjn8IjIdQohoe2SUr9rfsrRzFMgFwLBjlmKtYPlODaV2/0LvmOG7ORgTfqih3A7pwx1uDSixcchhpPXio4L11zI7yp0zYctKdGlRkN3fMSoHIVQuiyVLYd6X8MvT3t2tComybALv4OwcjIQx5Q93RHfbuSKc4iW7RLnU+acOTJ4i2hkeLK7nhqz/1KgxvDlWsm631tHrzBJktbLtnAK2BzT7taIRuFh8Uem3DaDzwHT6udaLkAojafXNYItz7oqmpcQsUnPBDH6lFvrgKOMeUgp+/Ck6+H9bbXnop+cOZV0igb7Mqk2hMy/AOI4PRQQUGid5eSwzrnj8lfhQLVNlP02jrfWvYvVJcQevKG5AgtV3pw/5Ba4CjeqyM4YkmUfLFJZZBKHiJDkNE3JIPDhFPuwn1CskCpwyP3dJb3gApDNLmDZn7v7fLZ97VRcyAspwtxF6ZJUEOJJHPWmUUjo8dfcExURMgquwu+hBs8u+JkZXDexA6mSPaXO+XuB/uU1P+TEMJEUvj3wLeRj4/f2imUllHcSeKCo2d0cb3XuTacuGFmQfXe52oRJKmwNpAdrFLW72m3HaiZaYjOJZ4x54zg6DIy8CoKaH9KihbWA2GGwGZgEPzkbWGDJKm/hcsC/Y9lJaC+WJZU8wDkNVLzkVJV4kB/y6kn1zL1oKueS8Sod58q6iIpFotbLnBR3zgRaStyH2jjUHW5xl2IMATQx2fInrA==
Openpgp: preference=signencrypt

It seems to work if the “Lra” module is not imported… Looks like a bug.
--
Vincent.

Attachment: signature.asc
Description: OpenPGP digital signature

[Coq-Club] Any tactic or automation for orders?, Cao Qinxiang, 07/24/2019
- Re: [Coq-Club] Any tactic or automation for orders?, Vincent Laporte, 07/24/2019
  - Re: [Coq-Club] Any tactic or automation for orders?, Łukasz Czajka, 07/24/2019
  - Re: [Coq-Club] Any tactic or automation for orders?, Cao Qinxiang, 07/24/2019
    - Re: [Coq-Club] Any tactic or automation for orders?, Vincent Laporte, 07/24/2019
    - Re: [Coq-Club] Any tactic or automation for orders?, Frédéric Besson, 07/24/2019
      - Re: [Coq-Club] Any tactic or automation for orders?, Cao Qinxiang, 07/24/2019
        
        Re: [Coq-Club] Any tactic or automation for orders?, Agnishom Chattopadhyay, 07/24/2019
        
        Re: [Coq-Club] Any tactic or automation for orders?, Laurent Thery, 07/24/2019