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: Apr 30 2025 at 08:27 UTC