[?] Syntax Reference Sheet for Isabelle

Moderator: Modellierungspraktikum

[-=thomas=-]
BASIC-Programmierer
BASIC-Programmierer
Beiträge: 137
Registriert: 27. Apr 2009 10:47
Wohnort: Darmstadt

[?] Syntax Reference Sheet for Isabelle

Beitrag von [-=thomas=-] » 28. Nov 2011 22:15

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
Tutor:
WS 11/12: FGdI 3, FoC
SS 11: CMS

Zurück zu „Modellierungspraktikum“