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.


	Makarius




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