Subject: Ssreflect Users Discussion List
List archive
- Re: [ssreflect] Why does [case/(@id (and _ _))] tell me that [and] is not an inductive product?, (continued)
- Re: [ssreflect] Why does [case/(@id (and _ _))] tell me that [and] is not an inductive product?, Enrico Tassi, 06/26/2014
- RE: [ssreflect] Why does [case/(@id (and _ _))] tell me that [and] is not an inductive product?, Georges Gonthier, 06/26/2014
Archive powered by MHonArc 2.6.18.