[isabelle] Missing global_theories doco?



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.




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