[isabelle] Error: 'Cannot update finished theory'



Hi,

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.

Thanks
John





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