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