[isabelle] Theory loader: cannot update finished theory "Main"



> with_path "Integ" update_thy "Main";
### Theory loader: cannot update finished theory "Main"

What does this message mean? Why, when I change a theory file, can I sometimes do update_thy without problems, and sometimes not? When is a theory "finished"?

Thanks for any help

Jeremy





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