Seite 1 von 1

[?] Syntax Reference Sheet for Isabelle

Verfasst: 28. Nov 2011 22:15
von [-=thomas=-]
Hi guys,

does anybody have a syntax reference sheet for Isabelle or know where I can find one? I think it is rather tedious to use the "tutorial". If not, then a shorter version of the tutorial would also be interesting.

Best wishes,
Thomas