Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] avoid rechecking a theory imported


view this post on Zulip Email Gateway (Aug 18 2022 at 19:55):

From: li yongjian <lyj238@gmail.com>
Dear Isabelle experts:
my theory import 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 compile the two theories, and avoid rechecking?

regards!


Last updated: Mar 28 2024 at 08:18 UTC