coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] cutrewrite

From: Chris Dams <chris.dams.nl AT gmail.com>
To: coq-club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] cutrewrite
Date: Mon, 20 Jul 2020 11:51:49 +0200
Authentication-results: mail3-smtp-sop.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-ot1-f44.google.com
Ironport-phdr: 9a23:5F2KYR3TauQAkqELsmDT+DRfVm0co7zxezQtwd8ZseIXKvad9pjvdHbS+e9qxAeQG9mCtbQY0KGM6ujJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglVhTexe7x/IRu5oQnPq8UdnJdvJLs2xhbVuHVDZv5YxXlvJVKdnhb84tm/8Zt++ClOuPwv6tBNX7zic6s3UbJXAjImM3so5MLwrhnMURGP5noHXWoIlBdDHhXI4wv7Xpf1tSv6q/Z91SyHNsD4Ubw4RTKv5LptRRT1iikIKiQ5/XnYhcx+jq1VoByvqR9izYDKfI6YL+Bxcr/HcN4AWWZNQsRcWipcCY28dYsPCO8BMP5Goon9vVsOrAC+DhSiCuz1zz9InWL90Kom3OQhCwHG3RcgE8gTv3vOqdX1L70eUeaxzKTTwjXDaulZ2Tb56ITSbh8hpvSMUKt2fMHMxkYhCxnLgU+MqYz5ITyVzOINvnCF4+Z8W+yiim0qphx+rzahxskhlovEip4Rx13G9Ch03Ig4KcClRUN4ZdOqEIdduiCEO4ZqX88vR39ltDomx7MGv5OwYSsEyIw/yhLBd/CKd5KE7xHjWeqLPzt0mW5pdKiwihu990Wr1/fyWdOu0FlQqypIitnMuW4J1xzU8sWHT+Fy/kal2TqW0ADT9vxILVk6lafUJJMt2LEwlp0UsUTMGi/5hl/6g7ORdkUh4uSo6uLnbav6ppKEKYN4lgXzPr4tl8G/G+g0LBUCU3SB9emz27Dv5Uj5T69Ljv0ynKnZqpfaJcEDq6GlAw9VyIcj6w2lAzi7ytsYmGIHIEhDeBKDlIXpNFTOL+r5Dfe7mVijjDBrx/XeMr37HprNNmTDkKvmfbtl90FczxMzwclD6JJQF7EOO+n+WlTxtdzdFh82KRa4w+fhCNVn14MRQ3iDAqGDMPCajVjd7eU2ZuKIeYVd7D36Mr0u4+PkpX4/g14UO6ezi8g5cne9S99mOUSCKVblh8xJRWwKpAslCuDjjUbEVzp7aHO7XqZ67TY+XtH1RbzfT5yg1eTSlBywGYdbMzgfVwK8VEzwfoDBYM8iLSKfJsg7z24BXLmlDog9jFSg6FO8xL1gIe7ZvCYfsMC7jYkn16jojRg3sAdMIYGY2mCJQXtzmzpRFTAz1aF750d6zwXaiPQqs7ljDdVWoshxfEIiL5eFlr51DtnzXkTKedLbEFs=

Hello Laurent,

Yes, that looks good. It looks like replace does more or less exactly the same as cutrewrite.

Thanks!

Chris

[Coq-Club] cutrewrite, Chris Dams, 07/18/2020
- Re: [Coq-Club] cutrewrite, Laurent Thery, 07/18/2020
  - Re: [Coq-Club] cutrewrite, Chris Dams, 07/20/2020
    - Re: [Coq-Club] cutrewrite, Théo Zimmermann, 07/20/2020
- Re: [Coq-Club] cutrewrite, Fabian Kunze, 07/20/2020