Re: [isabelle] AFP/VerifyThis2018 document fails in development version
In very rare cases there is a need for that, but in most practical
situations, it is probably just some legacy.
One case that comes into mind is the distinction between the session
that can be used by downstream dependencies, and another session that
includes (maybe costly) examples, e.g. in the case of the iptables
semantics. Luckily, the metadata file, together with the regular
Isabelle session information, allows for a precise mapping between
sessions and entries.
This archive was generated by a fusion of
Pipermail (Mailman edition) and