Tutorial/Tutorial1.thy
2011-01-19 Christian Urban added a very rough version of the tutorial; all seems to work
less more (0) tip