[isabelle-dev] NEWS: find_consts

[Gerwin Klein]

* New command find_consts searches for constants based on type and name
patterns, e.g.

     find_consts "_ => bool"

By default, matching is against subtypes, but it may be restricted to the
whole type. Searching by name is possible. Multiple queries are conjunctive
and queries may be negated by prefixing them with a hyphen:

     find_consts strict: "_ => bool" name: "Int" -"int => int"


(Contributed by Timothy Bourke)

Cheers,
Gerwin