Mi error estaba en tratar de usar Functional Scheme leBool_ind := Induction for leBool Sort Prop (que era lo que usé para ejercicios anteriores).
Gracias!
Saludos,
Noelia
Mi error estaba en tratar de usar Functional Scheme leBool_ind := Induction for leBool Sort Prop (que era lo que usé para ejercicios anteriores).
Gracias!
Saludos,
Noelia