Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Very strange induction principle for records with assigned elements

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Very strange induction principle for records with assigned elements


Chronological Thread 
  • From: <michael.soegtrop AT intel.com>
  • To: coq-club AT inria.fr
  • Subject: Re: [Coq-Club] Very strange induction principle for records with assigned elements
  • Date: Wed, 19 Nov 2014 15:41:37 +0100

Dear Guillaume,

thanks, I will try it with v 8.5 and if the bug is still there report it.

Best regards,

Michael




Archive powered by MHonArc 2.6.18.

Top of Page