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: Mar 28 2024 at 08:18 UTC