coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Why doesn't there exist a 'patterns' tactic?

From: Chris Dams <chris.dams.nl AT gmail.com>
To: coq-club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Why doesn't there exist a 'patterns' tactic?
Date: Wed, 10 Oct 2018 16:51:50 +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-wm1-f45.google.com
Ironport-phdr: 9a23:DwCpixzUPQTfWvfXCy+O+j09IxM/srCxBDY+r6Qd1OsVIJqq85mqBkHD//Il1AaPAd2Eraocw8Pt8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94HRbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeuBWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbOSxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRDnhicINT43/m/UhMJtkqxUvAmsqAZjz4POeoyZKOZyc6HbcNgHRWRBRMFRVylZD46ib4sPFesBPf1FpIfzvVQOqAC+DhSrCezzyj9InH723bYg3+s8Cw7G2RcgE8gIsHTQt9j1O6ISXvq0zKnM1znMc/RW2TLk5YXObxsvoumMUKpufcbNzUQjDQDIg1WKpYD4IT+Y1f4Bvmeb4udmSOmhkXQoqxtrrTiq3sosipfGhoYSyl3c8CV22oc1JdmhRE91ZN6oDYJcty+VOoZ2WM8iTGZouCE1yr0Cp5G3ZjQFyJMixxLHavyHdZaH4g77WeqPPTt1gGhpdbG/ihqo7ESs1O7xWtO73VtKtiZFl8PDtnEJ1xzd8MiHTf5981+91jaPzQDT6/pELVopmqXBLp4h2aQ8lpwXsUnYES/2nV/5jK6Sdkk+5ueo7OHnbq38ppCAL490lh3+MqM2l8OjBuQ4KxECUHSf+eShz7Lu5lb5QbVPjv0uiKbVqpHaJcIBpq64GQBZyIgj6wzsRwuhhd8fhDwMKE9PMEaMiJGsMFXTKtj5C+2+ihKiimE46erBO+jKAo/MNTDvmbL6NeJ261Rd00w/xNVEoZRQIr4EKfP3HET2sYqLXVcCLwWozrO/W51G3YQEVDfXW/7LAObpqVaNo9kXDayJbY4Rtiz6LqF8tfHrhH4931QaePvwhMdFWDWDBv1jZn6hTz/0mN5YSDUFuwM/SKrhj1jQCWcONUb3ZLo143QAMKzjDYrHQdrw0rmI3SP+AZgPI24aVxaDFnDnc4jCUPAJOnqf

Hello Dominique,

Thanks! That is funny, I had been trying 'pattern a b' but that did not work....

Kind regards,

Chris

[Coq-Club] Why doesn't there exist a 'patterns' tactic?, Chris Dams, 10/10/2018
- Re: [Coq-Club] Why doesn't there exist a 'patterns' tactic?, Dominique Larchey-Wendling, 10/10/2018
  - Re: [Coq-Club] Why doesn't there exist a 'patterns' tactic?, Chris Dams, 10/10/2018
- Re: [Coq-Club] Why doesn't there exist a 'patterns' tactic?, Laurent Thery, 10/10/2018