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 MHonArc.