Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] How do I find out via "find_theorems", for an ...

Email Gateway (Aug 18 2022 at 13:10):

From: Tobias Nipkow <nipkow@in.tum.de>
I suspect you cannot (directly). You can find out indirectly for example
by (simp add: xyz) and Isabelle will say if xyz already has [simp] status.

Tobias

Andrei Popescu schrieb:

Last updated: Feb 15 2026 at 05:19 UTC