ProgTutorial/document/tutorial-logo.jpg
author Christian Urban <urbanc@in.tum.de>
Tue, 04 Aug 2009 16:18:39 +0200 (2009-08-04)
changeset 303 05e6a33edef6
parent 297 2565c87f8db7
permissions -rw-r--r--
added an antiquotation for printing the raw proof state; polished the example about proof state
(binary:image/jpeg)