[isabelle-dev] NEWS: find_consts
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
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