Adam Dingle (Mar 22 2026 at 06:46): Adam Dingle (Mar 22 2026 at 06:46):Thanks, this is helpful.
In jEdit I just discovered the Print Context tab. If I check the "theorems" box there and press Apply, then I see a list of local facts including named assumptions. Basically that's what I was looking for.
However, I've been using the VSCode interface to Isabelle. Unfortunately it seems this functionality doesn't exist there. It has a State view which shows some information, but it doesn't show named assumptions there, and I don't see an option to enable that.
Notification Bot (Mar 22 2026 at 06:46):Adam Dingle has marked this topic as resolved.
Last updated: Mar 25 2026 at 02:29 UTC