Searching for Theorems

From Isabelle Community Wiki
Jump to navigation Jump to search

You can use the `find_theorems` command to search for theorems. The results are shown in the output panel. Use any number of patterns enclosed in "s:

find_theorems "?x < ?y ==> ?a < ?b"

You can also specify part of the name of a theorem:

find_theorems "?x < ?y ==> ?a < ?b" name:Ring_and_Field