Search qualid.
(* para Coq 8.4 y versiones más recientes *) SearchAbout qualid.
(* sinónimo en desuso. *) Parámetro | Descripción |
---|---|
qualid | El identificador o patrón a buscar. Puede implicar notaciones. |
Antes de Coq 8.4, la Search
tenía el significado del SearchHead
actual: solo busque hechos donde el patrón coincida en la conclusión de la declaración.