[isabelle] Cannot update finished theory



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?



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.