[isabelle] avoid rechecking an imported theory



Dear Isabelle experts:
   my theory imports two pre theory of my own.

For example,
theory test imports myTheory1 myTheory2
 begin ..


myTheory1 myTheory2 have been checked and passed.

But after load test.thy each time, myTheory1 and myTheory2 will be
loaded and checked by Isabelle again. If the two theories are long,
I need some time to wait.

How to avoid rechecking the two theories?

regards!




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