Yiming Xu (Sep 12 2024 at 05:41): Yiming Xu (Sep 12 2024 at 05:41):Is it possible to see the statement of a rule or a theorem to see its statement in the interactive window? I know it a theorem /rule can be viewed by clicking on its name, but it always brings me to another file, and I usually do not want to do so.
Mathias Fleury (Sep 12 2024 at 05:42):thm impI
Yiming Xu (Sep 12 2024 at 05:42):Very quick!!! Many thanks!
Mathias Fleury (Sep 12 2024 at 05:42):BTW: to go back there is a green arrow in the tool bar of Isabelle/jEdit. It will bring you back exactly where you were before
Mathias Fleury (Sep 12 2024 at 05:43):(I do not remember if it has a keybinding or not)
Yiming Xu (Sep 12 2024 at 05:43):
Yiming Xu (Sep 12 2024 at 05:44):I think I find it!
Last updated: Dec 21 2024 at 16:20 UTC