coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Difference between [autounfold] and [repeat autounfold]?

From: Jason Gross <jasongross9 AT gmail.com>
To: coq-club <coq-club AT inria.fr>
Subject: [Coq-Club] Difference between [autounfold] and [repeat autounfold]?
Date: Thu, 7 Aug 2014 17:06:56 +0100

Hi,

I've encountered a case (in Coq 8.4) where [repeat autounfold] does more unfolding than [autounfold]. What might cause this to be the case? (E.g., putting hints in the db in the wrong order, passing multiple databases...)

Thanks,

Jason

[Coq-Club] Difference between [autounfold] and [repeat autounfold]?, Jason Gross, 08/07/2014