ProgTutorial/document/tutorial-logo.jpg
author Christian Urban <urbanc@in.tum.de>
Sat, 07 Nov 2009 01:03:37 +0100 (2009-11-07)
changeset 375 92f7328dc5cc
parent 297 2565c87f8db7
permissions -rw-r--r--
added type work and updated to Isabelle and poly 5.3
(binary:image/jpeg)