Where can I find (pun intended) a grammar of the patterns used in the Query window of Isabelle/jEdit, or, what seems to be the same, in the find_theorems Isar command?
You can look at the implementation of the find_theorems
command
Last updated: Apr 25 2024 at 08:20 UTC