Tutorial/Minimal.thy
2011-01-19 Christian Urban added a very rough version of the tutorial; all seems to work
2011-01-19 Christian Urban theory name as it should be
2011-01-19 Christian Urban added Minimal file to test things
less more (0) tip