[isabelle-dev] NEWS: find_consts

Gerwin Klein gerwin.klein at nicta.com.au
Thu Feb 12 22:15:14 CET 2009

* 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)


More information about the isabelle-dev mailing list