Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Missing global_theories doco?

Email Gateway (Aug 22 2022 at 10:27):

From: Matthew Fernandez <matthew.fernandez@nicta.com.au>
Hi,

Some of the bundled ROOT files in Isabelle use a directive, "global_theories." See, for example,
src/Pure/ROOT. This does not appear to be documented in the system manual. Am I missing something
here? Perhaps the omission is deliberate because this is not intended to be used in user ROOT files.

Thanks,
Matt

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

Last updated: Apr 26 2024 at 08:19 UTC