Gergely Buday (Mar 27 2023 at 15:50): Gergely Buday (Mar 27 2023 at 15:50):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?
Lukas Stevens (Mar 27 2023 at 16:05):You can look at the implementation of the find_theorems command
Last updated: Jul 12 2025 at 12:41 UTC