Re: [isabelle] The Isar Proof Language in 2016



On Thu, 4 Feb 2016, Elsa L. Gunter wrote:

Where can I find the documentation giving the full formal syntax and semantics of Isar in 2016, particularly that of the 2016 Isar Proof language?
 These Slides http://sketis.net/wp-content/uploads/2016/02/Isar_in_2016.pdf

The Slides are a a slightly extended variant of the information in the NEWS for Isabelle2016, with a bit more context.

The individual commands that are mentioned there are described in the isar-ref manual as usual. (A few details might still require updating in the time that is left before final lift-off).


	Makarius




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