Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Cannot update finished theory

view this post on Zulip Email Gateway (Aug 22 2022 at 20:51):

From: Juho Kupiainen <juho.kupiainen.general.ai.group@gmail.com>
When hovering over with Ctrl down in the Deriv.thy theory file, I can't go
to the definition because there's an error "Cannot update finished theory".
Is there an easy way to solve this?

Last updated: Feb 15 2026 at 05:19 UTC