Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Cannot update finished theory (Juho Kupiainen)

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

From: Juho Kupiainen <juho.kupiainen.general.ai.group@gmail.com>
To get rid of the "cannot update finished theory" error, select "Pure" from
the dropdown menu in the Theories tab on the right, before opening a theory.

to 31. lokak. 2019 klo 12.32 cl-isabelle-users-request@lists.cam.ac.uk
kirjoitti:

Last updated: Apr 18 2024 at 20:16 UTC