Search qualid.
SearchAbout qualid.
qualid
Coq 8.4以前では、 Searchは現在のSearchHead意味を持っていました。文の終わりにパターンが一致するファクトのみを検索します。
Search
SearchHead