[isabelle] Error: 'Cannot update finished theory'


I'm trying to load OrderedGroup.thy into PG, but I keep getting the
error saying:

*** Theory loader: cannot update finished theory "OrderedGroup"
*** At command "theory".

I've already built HOL and HOL-Algebra and have tried both HOL and
HOL-Algebra from the Isabelle|Logic menu.

Any help will be appreciated.


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