Re: [isabelle] check phases

On Wed, 30 Jul 2014, Lars Noschinski wrote:

what transformations are allowed for check phases and which invariants
can I expect to be preserved by check phases? I couldn't find anything
in the implementation manual

See chapter 3 of the "implementation" manual. For Isabelle2014 I have extended and refined this again (last June).

If there is anything important missing or unclear, we can discuss that, especially for the coming release.


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